changeset 17136 | 281667d3a7b2 |
parent 8906 | fc7841f31388 |
child 26913 | 67040326ab7a |
--- a/doc-src/AxClass/Makefile Fri Aug 19 22:50:20 2005 +0200 +++ b/doc-src/AxClass/Makefile Fri Aug 19 23:20:50 2005 +0200 @@ -14,8 +14,8 @@ NAME = axclass FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \ - ../pdfsetup.sty generated/Group.tex generated/NatClass.tex \ - generated/Product.tex generated/Semigroups.tex + ../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \ + Group/document/Product.tex Group/document/Semigroups.tex dvi: $(NAME).dvi