diff -r 1bf495402ae9 -r 449b6108352a doc-src/IsarRef/Makefile
--- a/doc-src/IsarRef/Makefile	Mon Aug 14 18:49:23 2000 +0200
+++ b/doc-src/IsarRef/Makefile	Mon Aug 14 18:49:35 2000 +0200
@@ -14,7 +14,7 @@
 NAME = isar-ref
 
 FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \
-	generic.tex hol.tex refcard.tex ../isar.sty \
+	generic.tex hol.tex refcard.tex conversion.tex ../isar.sty \
 	../rail.sty ../railsetup.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
 
 dvi: $(NAME).dvi