From 88a5bbded3d7a37f1ba36b9a5668ec5b03a91274 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 1998 13:17:26 +0000
Subject: Added todo for removing image targets from repository.

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

diff --git a/todo b/todo
index c7240b8a..a6f0f636 100644
--- a/todo
+++ b/todo
@@ -28,6 +28,11 @@ D proof-site (da): I think it would be nice to change the architecture
   support for new assistants entirely via the customize mechanism,
   without any knowledge of elisp apart from regular expressions!
 
+C Remove .gif, .jpg, .xpm, .xbm files from the CVS repository.  Add 
+  .cvsignore's for them instead.  Disadvantage: developers will need
+  to have the Gimp installed to build them via 'make images'
+  (or copy them from the latest download).   (da, 1hr)
+
 B proof-issue-goal should refuse to work when a proof is in progress.
   Similarly proof-issue-save should refuse to work when a proof
   hasn't been completed!
-- 
cgit v1.2.3