diff options
Diffstat (limited to 'documentation/Makefile')
-rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 0218211313..de345c1596 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -308,4 +308,4 @@ publish: | |||
308 | fi | 308 | fi |
309 | 309 | ||
310 | clean: | 310 | clean: |
311 | rm -f $(MANUALS) | 311 | rm -f $(MANUALS); rm $(DOC)/$(DOC).*tgz; |