Added note about odd message during RPM build.

1 files changed, 4 insertions, 0 deletions

diff --git a/todo b/todo
index 9796df9d..82c2bf0c 100644
--- a/todo
+++ b/todo
@@ -252,6 +252,10 @@ C Make completion more generic. For Isabelle and Lego, we can build a
   completion table by querying the process, which is better than
   messing with tags.
 
+X Oddity in RPM build: reports
+	 /var/tmp/rpm-tmp.65808: line 29: 30875 Broken pipe             /bin/gzip -dc /tmp/ProofGeneral-rpm/SOURCES/ProofGeneral-2.0pre981012.tar.gz
+  Why?  It still seems okay otherwise.
+
 X Support for x-symbols package.
   Provers with sophisticated/configurable syntax should tell Emacs
   about their syntax somehow, rather than trying to duplicate