diff --git a/doc/user/FAQ.texinfo b/doc/user/GC3-FAQ.texinfo
similarity index 100%
rename from doc/user/FAQ.texinfo
rename to doc/user/GC3-FAQ.texinfo
diff --git a/doc/user/Manual.texinfo b/doc/user/GC3-Manual.texinfo
similarity index 100%
rename from doc/user/Manual.texinfo
rename to doc/user/GC3-Manual.texinfo
diff --git a/doc/user/Makefile b/doc/user/Makefile
index 457f813e3..bbef80f51 100644
--- a/doc/user/Makefile
+++ b/doc/user/Makefile
@@ -5,7 +5,7 @@
 all: FAQ
 	rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr
 
-FAQ: FAQ.pdf FAQ.html FAQ.info
+FAQ: GC3-FAQ.pdf GC3-FAQ.html GC3-FAQ.info
 
 ## The basic commands, good on Linux/Mac
 ## need mingw on Windows