From 49e285ec2732c322303cada3280855931924783c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 16:31:41 +0000
Subject: Added note about odd message during RPM build.

---
 todo | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
cgit v1.2.3