From 3d5e2c032d2df174b77d53dc26ef22ae3108f084 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 30 Nov 1998 22:30:29 +0000
Subject: [PATCH] Move nasty cruft from make.rules' $(CUTCRUFT) here, mostly to
 clean up make.rules.

---
 Doc/tools/sgmlconv/fixgenents.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh
index 117b41516e2..0503d7bfee3 100755
--- a/Doc/tools/sgmlconv/fixgenents.sh
+++ b/Doc/tools/sgmlconv/fixgenents.sh
@@ -2,6 +2,9 @@
 #
 #  Script to fix general entities that got translated from the LaTeX as empty
 #  elements.  Mostly pretty bogus, but works like a charm!
+#
+#  Removes the leading XML PI that identifies the XML version, since most of
+#  the XML files are not used as top-level documents.
 
 if [ "$1" ]; then
     exec <"$1"
@@ -13,7 +16,7 @@ if [ "$1" ]; then
     shift 1
 fi
 
-sed '
+grep -v '^<?xml .*?>$$' | sed '
 s|<ABC/>|\&ABC;|g
 s|<ASCII/>|\&ASCII;|g
 s|<C/>|\&C;|g