From 1914d97662e3cb51f50f935da287f640f240dc7c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 17:34:42 +0000
Subject: Added X-rated item about distribution Makefile.

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

diff --git a/todo b/todo
index 5ed82d38..1ee13e97 100644
--- a/todo
+++ b/todo
@@ -204,6 +204,10 @@ B Make completion more generic.  For Isabelle we can build a
   completion table by querying the process, which is better than
   messing with tags.
 
+X Write a Makefile for the distribution.  It can do things like
+  install the info file properly.  The work is at the moment done
+  in the RPM spec file instead.
+
 
 * Proof-by-Pointing
 ===================
-- 
cgit v1.2.3