1.1 --- a/doc-src/AxClass/Makefile	Thu May 15 20:02:44 2008 +0200
     1.2 +++ b/doc-src/AxClass/Makefile	Thu May 15 20:14:10 2008 +0200
     1.3 @@ -13,8 +13,9 @@
     1.4  
     1.5  NAME = axclass
     1.6  
     1.7 -FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
     1.8 -  ../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \
     1.9 +FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty	\
    1.10 +  ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty			\
    1.11 +  Group/document/Group.tex Nat/document/NatClass.tex			\
    1.12    Group/document/Product.tex Group/document/Semigroups.tex
    1.13  
    1.14  dvi: $(NAME).dvi