Brian Gough e163dd343b replace ascii figures with scalable ps/pdf versions. ...

use ascii figures in HTML output, to work around deficiency in makeinfo
where images are not copied to target directory.

2009-12-17 23:17:59 +00:00

1.6 KiB

Raw History

View raw