author | wenzelm |
Wed, 05 May 1999 18:41:31 +0200 | |
changeset 6601 | 51eed1aefccd |
parent 6600 | 5a94bd71cc41 |
child 6602 | c5e32a3d7e12 |
--- a/doc-src/System/Makefile Wed May 05 18:35:41 1999 +0200 +++ b/doc-src/System/Makefile Wed May 05 18:41:31 1999 +0200 @@ -13,7 +13,8 @@ include ../Makefile.in NAME = system -FILES = system.tex ../iman.sty ../extra.sty +FILES = system.tex basics.tex misc.tex fonts.tex present.tex \ + ../iman.sty ../extra.sty dvi: $(NAME).dvi