diff options
| -rw-r--r-- | Makefile.example | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.example b/Makefile.example index d335765..096bbf8 100644 --- a/Makefile.example +++ b/Makefile.example @@ -63,6 +63,7 @@ generate: html: generate clean: + [ ! -d $(OUTPUTDIRTUX) ] || rm -rf $(OUTPUTDIRTUX) [ ! -d $(OUTPUTDIR) ] || rm -rf $(OUTPUTDIR) regenerate: |