diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 6cac5caeaa..6775120fc7 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -309,4 +309,4 @@ publish: fi clean: - rm -f $(MANUALS) + rm -rf $(MANUALS); rm $(DOC)/$(DOC).tgz; |