diff options
Diffstat (limited to 'doc-build/xmldocs.make')
| -rw-r--r-- | doc-build/xmldocs.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc-build/xmldocs.make b/doc-build/xmldocs.make index 0bc35963..84d0f2bc 100644 --- a/doc-build/xmldocs.make +++ b/doc-build/xmldocs.make @@ -83,7 +83,7 @@ uninstall-local-doc: -if test "$(figdir)"; then \ for file in $(srcdir)/$(figdir)/*.png; do \ basefile=`echo $$file | sed -e 's,^.*/,,'`; \ - rm -f $(docdir)/$(figdir)/$$basefile; \ + rm -f $(DESTDIR)$(docdir)/$(figdir)/$$basefile; \ done; \ rmdir $(DESTDIR)$(docdir)/$(figdir); \ fi |