diff FTP @ 56292:d7735d732373

(${etc}DOC): Fix file name of make-docfile.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 30 Jun 2004 19:31:30 +0000
parents 23a1cea22d13
children 6cd56cde7cd4
line wrap: on
line diff