doc-src/AxClass/Makefile

--- a/doc-src/AxClass/Makefile	Mon May 22 10:02:58 2000 +0200
+++ b/doc-src/AxClass/Makefile	Mon May 22 10:31:44 2000 +0200
@@ -15,8 +15,7 @@
 
 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
+  generated/Product.tex generated/Semigroups.tex
 
 dvi: $(NAME).dvi