diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/conclude.in | 3 |
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. |