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.
This commit is contained in:
Brian Gough 2009-12-09 18:04:42 +00:00 committed by Neil Jerram
commit e163dd343b
11 changed files with 961 additions and 31 deletions

BIN
doc/ref/gds.dia Normal file

Binary file not shown.