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: