diff .hgignore @ 604:a30fc28e8f23

Make creating and deleting of doc and hdr files dependent on whether doc and hdr files are to be generated. Fixes html_empty_01,02
author Christian Kamm <kamm incasoftware de>
date Tue, 16 Sep 2008 09:00:05 +0200
parents 20c065c46b38
children 6aaa3d3c1183
line wrap: on
line diff