* 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.

3 files changed, 7 insertions, 3 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
diff --git a/font/devlj4/generate/Makefile b/font/devlj4/generate/Makefile
index e830e5f8..c11dbee6 100644
--- a/font/devlj4/generate/Makefile
+++ b/font/devlj4/generate/Makefile
@@ -165,6 +165,6 @@ realclean:
 	-rm -f $(FONTS)
 
 extraclean: realclean
-	-rm -f core *~ \#*
+	-rm -f core *~ "#*"
 
 .PHONY: clean realclean extraclean all
diff --git a/font/devps/generate/Makefile b/font/devps/generate/Makefile
index fb5c3d54..3f1169a6 100644
--- a/font/devps/generate/Makefile
+++ b/font/devps/generate/Makefile
@@ -21,6 +21,10 @@
 #   make -f generate/Makefile
 # in the parent directory of this directory.
 
+# The following line is required for DOS/Windows systems, since
+# this Makefile needs a Unixy shell to run.
+SHELL = /bin/sh
+
 # Directory containing AFM files.  Must not be current directory.
 # Either long names (eg Times-Roman.afm) or short names (eg timesr.afm)
 # may be used. See the afmname script.
@@ -217,7 +221,7 @@ realclean: clean
 	-rm -f $(FONTS)
 
 extraclean: realclean
-	-rm -f core *~ \#*
+	-rm -f core *~ "#*"
 
 .PHONY: all clean realclean extraclean