diff --git a/.gitignore b/.gitignore
index b0e2a9b..353266c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,8 @@ test_*.txt
 tv.txt
 *_tv.txt
 doxygen/
+doc/crypt.pdf
+doc/refman.pdf
 
 # *nix/windows test executables
 constants
diff --git a/doc/crypt.pdf b/doc/crypt.pdf
deleted file mode 100644
index b4668a9..0000000
Binary files a/doc/crypt.pdf and /dev/null differ
diff --git a/makefile b/makefile
index e34d862..694361c 100644
--- a/makefile
+++ b/makefile
@@ -365,7 +365,7 @@ doxygen:
 	doxygen $(silent_stdout)
 
 doxy: doxygen
-	cd doc/doxygen/latex ; ${MAKE} ; mv -f refman.pdf ../../.
+	cd doc/doxygen/latex ; ${MAKE} $(silent_stdout) ; mv -f refman.pdf ../../.
 	@echo The huge doxygen PDF should be available as doc/refman.pdf
 
 #This builds the crypt.pdf file. Note that the rm -f *.pdf has been removed