doc update

 syntax: glob
 
-doc/api/*
 dist/*
 dput.sh
 *.pyc

-all:
-	rm -rf api
-	epydoc --output api --no-frames --graph=all \
-	  --name="SNAKES is the Net Algebra Kit for Editors and Simulators" \
-	  --navlink='<img alt="SNAKES logo" src="snakes-logo.jpg" width="120" height="120"/>' \
-          --no-private ../snakes
-	convert ../logo/snakes-logo.png -background white -scale 120x120 ./api/snakes-logo.jpg

+"""This package gathers various supplementary features of SNAKES:
+
+  * package `snakes.utils.abcd` features a compiler for the ABCD
+    language, which is also available as a command-line tool
+  * package `snakes.utils.ctlstar` is a compiler for CTL* formula
+  * module `snakes.utils.apidoc` is used to extract SNAKES' API
+    documentation and generate Markdown pages from it
+
+"""