| changeset 12464 | f9d3c92eae4d |
| parent 10604 | 9bb2e34df0cd |
| child 27631 | b9ec32fb5f63 |
--- a/doc-src/System/Makefile Tue Dec 11 15:04:17 2001 +0100 +++ b/doc-src/System/Makefile Tue Dec 11 15:36:28 2001 +0100 @@ -12,7 +12,7 @@ include ../Makefile.in NAME = system -FILES = system.tex basics.tex misc.tex fonts.tex present.tex symbols.tex \ +FILES = system.tex basics.tex misc.tex present.tex symbols.tex \ ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib OUTPUT = syms.tex