diff doc/gendoc.py @ 5027:17d71a79a257

Fix bashism and remove useless use of cat.
author Thomas Arendsen Hein <thomas@intevation.de>
date Sun, 29 Jul 2007 18:53:09 +0200
parents 54fd4d3b4fce
children bbdcdc7f170e
line wrap: on
line diff