summaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/conclude.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/config/conclude.in b/config/conclude.in
index 07a9040..7571bd8 100644
--- a/config/conclude.in
+++ b/config/conclude.in
@@ -211,6 +211,9 @@ uninstall-doc:
@if test -n "$(PUB_DOCS)"; then \
set -x; cd $(DOCDIR) && $(RM) $(PUB_DOCS); \
fi
+ @if test -n "$(PUB_SUBDOCS)"; then \
+ set -x; cd $(DOCDIR) && $(RM) $(PUB_SUBDOCS); \
+ fi
## Removes temporary files without removing the final target files. That is,
## remove things like object files but not libraries or executables.