gbranden pushed a commit to branch master
in repository groff.
commit ec2327b6b705c2f8ae90e02b1040191bff856754
Author: G. Branden Robinson <[email protected]>
AuthorDate: Mon Jun 30 06:27:11 2025 -0500
font/devps/generate/*: Stop generating symbol.map.
We'll maintain it in the source tree henceforth.
---
font/devpdf/devpdf.am | 1 -
font/devps/devps.am | 2 +-
font/devps/generate/Makefile | 8 +-------
font/devps/generate/symbolchars | 13 -------------
4 files changed, 2 insertions(+), 22 deletions(-)
diff --git a/font/devpdf/devpdf.am b/font/devpdf/devpdf.am
index 71ce8b31a..5230ee6e8 100644
--- a/font/devpdf/devpdf.am
+++ b/font/devpdf/devpdf.am
@@ -129,7 +129,6 @@ devpdffontmapdir = $(devpdffontdir)/map
devpdffontmapdata = \
font/devpdf/map/dingbats.map \
font/devpdf/map/symbol.map \
- font/devpdf/map/symbolchars \
font/devpdf/map/text.map
devpdffontmap_DATA = $(devpdffontmapdata)
MOSTLYCLEANFILES += $(devpdffontmapdata)
diff --git a/font/devps/devps.am b/font/devps/devps.am
index eddf0420a..c0870ae8c 100644
--- a/font/devps/devps.am
+++ b/font/devps/devps.am
@@ -122,7 +122,7 @@ DEVPSGENFILES = \
font/devps/generate/dingbats-reversed.map \
font/devps/generate/slanted-symbol.map \
font/devps/generate/symbol.map \
- font/devps/generate/symbolchars \
+ font/devps/generate/symbolsl.awk \
font/devps/generate/text.map
DEVPSGENSCRIPTS = \
font/devps/generate/afmname \
diff --git a/font/devps/generate/Makefile b/font/devps/generate/Makefile
index f3ecee4bc..7f6dd68a7 100644
--- a/font/devps/generate/Makefile
+++ b/font/devps/generate/Makefile
@@ -287,16 +287,10 @@ $(SPECIALFONTS): $(srcdir)/symbol.map
$(GREEKFONTS): $(srcdir)/slanted-symbol.map
$(FONTS): $(DESC)
-$(srcdir)/symbol.map: $(TEXTMAP) $(srcdir)/symbolchars
- printf \
- '#\n# This is a list of all predefined groff symbols.\n#\n' \
- > $(OUTDIR)/$@ \
- && cat $(TEXTMAP) $(srcdir)/symbolchars >>$@
-
clean:
cd $(OUTDIR) \
&& $(RM) freeeuro.afm freeeuro.pfa symbol.afm \
- $(srcdir)/symbol.map symbolsl.afm zapfdr.afm
+ symbolsl.afm zapfdr.afm
realclean: clean
cd $(OUTDIR) \
diff --git a/font/devps/generate/symbolchars b/font/devps/generate/symbolchars
deleted file mode 100644
index 015c5345b..000000000
--- a/font/devps/generate/symbolchars
+++ /dev/null
@@ -1,13 +0,0 @@
-#
-# Additional predefined groff symbols for special fonts.
-#
-arrowdown arrowvertbt
-arrowup arrowverttp
-divide di
-equal eq
-logicalnot no
-minus mi
-multiply mu
-plusminus +-
-plus pl
-Upsilon1 *U
_______________________________________________
groff-commit mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/groff-commit
