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