diff options
author | Jesús <heckyel@hyperbola.info> | 2021-12-23 16:10:44 -0500 |
---|---|---|
committer | Jesús <heckyel@hyperbola.info> | 2021-12-23 16:10:44 -0500 |
commit | 7c8489350e90bd43e4593d83c8d069153480d420 (patch) | |
tree | 19917ed622a2808b6f0429be3c8824285222542e | |
parent | 5996eebf5e4fbf1c052ce25abbb494321558aef5 (diff) | |
download | cl-7c8489350e90bd43e4593d83c8d069153480d420.tar.lz cl-7c8489350e90bd43e4593d83c8d069153480d420.tar.xz cl-7c8489350e90bd43e4593d83c8d069153480d420.zip |
[Makefile.example]: update clean step
-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: |