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