about summary refs log tree commit diff
path: root/Doc/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile.in')
-rw-r--r--Doc/Makefile.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in
index c8c07b2f4..13e34c9b6 100644
--- a/Doc/Makefile.in
+++ b/Doc/Makefile.in
@@ -37,6 +37,10 @@ INSTALL         = @INSTALL@
 
 @DEFS_MK@
 
+.PHONY: all everything install uninstall install.man uninstall.man \
+	install.info uninstall.info install.html uninstall.html \
+	clean-here distclean-here realclean-here
+
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips -D 300