diff options
| author | wlemb <wlemb> | 2000-08-25 19:35:26 +0000 |
|---|---|---|
| committer | wlemb <wlemb> | 2000-08-25 19:35:26 +0000 |
| commit | f792985558443e04d4e8d2b7d1ed73fc00068fb5 (patch) | |
| tree | 244d702f2b67e2a9643d82360df45d2dd38a563c /font/devdvi | |
| parent | 512a33317e665fdf724615e514984574c21193e0 (diff) | |
| download | groff-f792985558443e04d4e8d2b7d1ed73fc00068fb5.tar.gz | |
* font/devps/generate/Makefile (SHELL): Define explicitly to
"/bin/sh", for non-Unix platforms.
(extraclean): Use a more portable "" quoting instead of a
backslash (which doesn't work on DOS/Windows).
* font/devlj4/generate/Makefile (extraclean): Ditto.
* font/devdvi/generate/Makefile (extraclean): Ditto.
Diffstat (limited to 'font/devdvi')
| -rw-r--r-- | font/devdvi/generate/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/font/devdvi/generate/Makefile b/font/devdvi/generate/Makefile index c8cd6564..8e3d1447 100644 --- a/font/devdvi/generate/Makefile +++ b/font/devdvi/generate/Makefile @@ -102,6 +102,6 @@ realclean: -rm -f $(FONTS) extraclean: realclean - -rm -f core *~ \#* + -rm -f core *~ "#*" .PHONY: clean realclean extraclean all |