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
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 $?