diff options
Diffstat (limited to 'doc/manuals')
-rw-r--r-- | doc/manuals/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manuals/Makefile b/doc/manuals/Makefile index d3bf5c885..e68b9b0b2 100644 --- a/doc/manuals/Makefile +++ b/doc/manuals/Makefile @@ -23,7 +23,7 @@ osmonitb-usermanual.pdf: chapters/*.adoc clean: rm -rf $(cleanfiles) - rm -rf osmonitb-usermanual__*.{svg,png} + rm -rf osmonitb-usermanual__*.{svg,png,check} gen-nitb-vty-docbook: FORCE $(call command,xsltproc -o generated/combined1.xml \ |