summaryrefslogtreecommitdiffstats
path: root/doc/html/Intro
diff options
context:
space:
mode:
Diffstat (limited to 'doc/html/Intro')
-rw-r--r--doc/html/Intro/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/Intro/Makefile.in b/doc/html/Intro/Makefile.in
index 2f436e9..b581941 100644
--- a/doc/html/Intro/Makefile.in
+++ b/doc/html/Intro/Makefile.in
@@ -461,7 +461,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: