[z3-checkins] r5559 - z3/util/trunk

[faassen at codespeak.net]

Author: faassen
Date: Wed Jul 14 17:06:08 2004
New Revision: 5559

Removed:
   z3/util/trunk/make_restpage.py
Log:
We weren't using this anymore.


Deleted: /z3/util/trunk/make_restpage.py
==============================================================================
--- /z3/util/trunk/make_restpage.py	Wed Jul 14 17:06:08 2004
+++ (empty file)
@@ -1,12 +0,0 @@
-import os
-import sys
-
-# turn a rst .txt page into html, putting layout around it
-# XXX putting layout it is not yet done. :)
-path = sys.argv[1]
-filename = os.path.basename(path)
-basefilename, ext = os.path.splitext(filename)
-
-os.system('rst2html.py --no-generator --no-source-link --no-datestamp %s > %s.html' % (path, basefilename))
-
-