diff options
author | Bernd Warken <groff-bernd.warken-72@web.de> | 2014-09-20 17:19:16 +0200 |
---|---|---|
committer | Bernd Warken <groff-bernd.warken-72@web.de> | 2014-09-20 17:19:16 +0200 |
commit | 6ec5eac521438a2cb4d54357014b963cf523d805 (patch) | |
tree | 28e50eeb8c97f95228bb417ef839df9c963c1abe /font/devhtml | |
parent | 1a0ea2d7ae1e6fcf0facfc59690824818e0f4a31 (diff) | |
download | groff-git-6ec5eac521438a2cb4d54357014b963cf523d805.tar.gz |
Makefile.sub in whole groff source tree: add $(RM) and change all `rm -f'.
Add directory test before `rmdir'.
Diffstat (limited to 'font/devhtml')
-rw-r--r-- | font/devhtml/Makefile.sub | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/font/devhtml/Makefile.sub b/font/devhtml/Makefile.sub index 202ea93dd..e2b2e1e67 100644 --- a/font/devhtml/Makefile.sub +++ b/font/devhtml/Makefile.sub @@ -35,9 +35,11 @@ RES=240 CPI=10 LPI=6 +RM=rm -f + $(FONTS): R.proto @echo Making $@ - @rm -f $@ + @$(RM) $@ @charwidth=`expr $(RES) / $(CPI)` ; \ sed -e "s/^name [A-Z]*$$/name $@/" \ -e \ |