fixed FILES;
authorwenzelm
Wed May 05 18:41:31 1999 +0200 (1999-05-05)
changeset 660151eed1aefccd
parent 6600 5a94bd71cc41
child 6602 c5e32a3d7e12
fixed FILES;
doc-src/System/Makefile
     1.1 --- a/doc-src/System/Makefile	Wed May 05 18:35:41 1999 +0200
     1.2 +++ b/doc-src/System/Makefile	Wed May 05 18:41:31 1999 +0200
     1.3 @@ -13,7 +13,8 @@
     1.4  include ../Makefile.in
     1.5  
     1.6  NAME = system
     1.7 -FILES = system.tex ../iman.sty ../extra.sty
     1.8 +FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
     1.9 +	../iman.sty ../extra.sty
    1.10  
    1.11  dvi: $(NAME).dvi
    1.12