diff --git a/GNUmakefile b/GNUmakefile
index 354da5e3c51a3830ebfbbcbcfe54615468016917..2ea0973212131d2f61bd56ad0230754981c21641 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -63,17 +63,4 @@ test-all: FORCE
 	sbcl --userinit /dev/null --sysinit /dev/null --load bin/make-helper.lisp \
 		--eval "(write-test-web-pages)" --eval "(quit)"
 
-manual-html: asdf.texinfo
-	makeinfo --html asdf.texinfo
-
-asdf.html: asdf.texinfo
-	makeinfo --html --no-split --no-headers -o asdf.html asdf.texinfo
-
-asdf.info: asdf.texinfo
-	makeinfo asdf.texinfo
-
-asdf.pdf: asdf.texinfo
-	texi2pdf asdf.texinfo
-
-
 FORCE:
diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..e128d456066a3999a5e5474863f661753b1c306b
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,12 @@
+manual-html: asdf.texinfo
+	makeinfo --html asdf.texinfo
+
+asdf.html: asdf.texinfo
+	makeinfo --html --no-split --no-headers -o asdf.html asdf.texinfo
+
+asdf.info: asdf.texinfo
+	makeinfo asdf.texinfo
+
+asdf.pdf: asdf.texinfo
+	texi2pdf asdf.texinfo
+