| changeset 8903 | 78d6e47469e4 |
| parent 8890 | 9a44d8d98731 |
| child 8906 | fc7841f31388 |
--- a/doc-src/AxClass/Makefile Sun May 21 14:49:28 2000 +0200 +++ b/doc-src/AxClass/Makefile Sun May 21 21:48:39 2000 +0200 @@ -13,7 +13,10 @@ NAME = axclass -FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../pdfsetup.sty +FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \ + ../pdfsetup.sty generated/Group.tex generated/NatClass.tex \ + generated/Product.tex generated/Semigroup.tex generated/Semigroups.tex \ + generated/session.tex dvi: $(NAME).dvi