diff --git a/src/gpl3.txt b/doc/gpl3.txt copy from src/gpl3.txt copy to doc/gpl3.txt