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