diff --git a/GNUmakefile b/GNUmakefile
index 8e27b7dbbe8323bdcdf658e2213131f3b6ecec11..6a2a2a9314538484c10c86e0a4c097d52b7c00b2 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -66,13 +66,13 @@ test-all: FORCE
 manual-html: asdf.texinfo
 	makeinfo --html asdf.texinfo
 
-manual-html-one-page: asdf.texinfo
+asdf.html: asdf.texinfo
 	makeinfo --html --no-split --no-headers asdf.texinfo > asdf.html
 
-manual-info: asdf.texinfo
+asdf.info: asdf.texinfo
 	makeinfo asdf.texinfo
 
-manual-pdf: asdf.texinfo
+asdf.pdf: asdf.texinfo
 	texi2pdf asdf.texinfo