summaryrefslogtreecommitdiffstats
path: root/doc/html/ADGuide/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'doc/html/ADGuide/Makefile.in')
-rw-r--r--doc/html/ADGuide/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/ADGuide/Makefile.in b/doc/html/ADGuide/Makefile.in
index 7419614..2c819b4 100644
--- a/doc/html/ADGuide/Makefile.in
+++ b/doc/html/ADGuide/Makefile.in
@@ -463,7 +463,7 @@ uninstall-am: uninstall-info-am uninstall-localdocDATA
# Ignore most rules
-lib progs check test _test:
+lib progs check test _test check-p check-s:
@echo "Nothing to be done"
tests dep depend: