diff options
Diffstat (limited to 'docs/tutorials/012/Makefile')
| -rw-r--r-- | docs/tutorials/012/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/tutorials/012/Makefile b/docs/tutorials/012/Makefile index 41d9ecfb6bd..1731046ff1e 100644 --- a/docs/tutorials/012/Makefile +++ b/docs/tutorials/012/Makefile @@ -58,13 +58,13 @@ HTML : # SHAR : # [ ! -f combine.shar ] || exit 1 - shar -T hdr bodies *.pre *.pst > combine.shar && $(RM) hdr bodies *.pre *.pst + shar -T hdr bodies *.pre *.pst > combine.shar && rm -f hdr bodies *.pre *.pst UNSHAR : # sh combine.shar CLEAN : realclean - $(RM) hdr bodies *.pre *.pst .depend + rm -f hdr bodies *.pre *.pst .depend #---------------------------------------------------------------------------- # Dependencies |