Minor tidy.
diff --git a/Doc/Makefile b/Doc/Makefile
index 4bd58e8..117b283 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -307,7 +307,7 @@
 # The remaining part of the Makefile is concerned with various
 # conversions, as described above.  See also the README file.
 
-.PHONY: html info
+.PHONY: html l2h info
 
 info:
 	(cd $(INFODIR); $(MAKE))