Script to convert things like <C/> and <Cpp/> to &C; and &Cpp;. This is

something that con't be done with the DOM as far as I can tell.

diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh
new file mode 100755 (executable)
index 0000000..220e356
--- /dev/null
+++ b/Doc/tools/sgmlconv/fixgenents.sh
@@ -0,0 +1,25 @@
+#! /bin/sh
+#
+#  Script to fix general entities that got translated from the LaTeX as empty
+#  elements.  Mostly pretty bogus, but works like a charm!
+
+if [ "$1" ]; then
+    exec <"$1"
+    shift 1
+fi
+
+if [ "$1" ]; then
+    exec >"$1"
+    shift 1
+fi
+
+sed '
+s|<ABC/>|\&ABC;|g
+s|<ASCII/>|\&ASCII;|g
+s|<C/>|\&C;|g
+s|<Cpp/>|\&Cpp;|g
+s|<EOF/>|\&EOF;|g
+s|<NULL/>|\&NULL;|g
+s|<POSIX/>|\&POSIX;|g
+s|<UNIX/>|\&UNIX;|g
+' || exit $?