aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-09-02 15:10:22 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-09-02 15:10:22 +0000
commit596d3b1cebdbceace1b8640600ddfa99bec8f4b1 (patch)
tree256afde6b766404157465afcaa93f39d8b6c8261
parent9e3dcd5edcdb205f5497ab08b0d1c70813360f7d (diff)
Added make-ready for distribtion item. (2h, da)
-rw-r--r--todo6
1 files changed, 6 insertions, 0 deletions
diff --git a/todo b/todo
index 7d9dfdb7..46f51087 100644
--- a/todo
+++ b/todo
@@ -9,6 +9,12 @@ C (Low) probably not worth wasting time on
* This is a list of things which need doing in the generic interface
====================================================================
+A Make ready for distribution: fix INSTALL file, add COPYING note
+ and write Makefile to build documentation formats and generate distributable
+ tar.gz file, tag sources with release version. Perhaps add subdirectories
+ doc/ elisp/ misc/ ?
+ (2h, da willing)
+
B Outsource script management features from proof.el to
proof-script.el (1h)