diff options
Diffstat (limited to 'docs/tutorials/006/Makefile')
-rw-r--r-- | docs/tutorials/006/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/tutorials/006/Makefile b/docs/tutorials/006/Makefile index 82143ac4792..a6794b89877 100644 --- a/docs/tutorials/006/Makefile +++ b/docs/tutorials/006/Makefile @@ -100,6 +100,9 @@ SHAR : # UNSHAR : # sh combine.shar +CLEAN : realclean + rm -f hdr bodies *.pre *.pst + #---------------------------------------------------------------------------- # Dependencies #---------------------------------------------------------------------------- |