diff options
| -rw-r--r-- | docs-xml/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 08e3f5ebaa3..dfc7947c5c5 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -58,7 +58,8 @@ clean:: rm -rf $(OUTPUTDIR)/* $(DOCBOOKDIR) rm -f $(patsubst %.svg,%.png,$(foreach DOC,$(MAIN_DOCS),$($(DOC)-images-latex-dia))) \ $(patsubst %.svg,%.pdf,$(foreach DOC,$(MAIN_DOCS),$($(DOC)-images-latex-svg))) \ - $(patsubst %.svg,%.eps,$(foreach DOC,$(MAIN_DOCS),$($(DOC)-images-latex-svg))) + $(patsubst %.svg,%.eps,$(foreach DOC,$(MAIN_DOCS),$($(DOC)-images-latex-svg))) \ + $(patsubst %.svg,%.png,$(foreach DOC,$(MAIN_DOCS),$($(DOC)-images-latex-svg))) rm -f *-attributions.xml *.d *.tpt *.tex *.loc *.toc *.lof *.glo *.idx *.aux rm -f *-images-html* rm -f *-images-latex-* $(LATEX_FIGURES) |