diff doc/gendoc.py @ 9521:e3ce0c30798b

Fix issue 1782 don't do url2pathname conversion for urls And only replace os-dependent path separators when necessary
author Grauw <laurens.hg@grauw.nl>
date Fri, 07 Aug 2009 01:15:16 +0200
parents b6cb3af61582
children d98cef25b5af
line wrap: on
line diff