src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Mar 24 14:40:51 2000 +0100
+++ b/src/HOL/IsaMakefile	Fri Mar 24 17:28:03 2000 +0100
@@ -425,7 +425,7 @@
   ex/StringEx.thy ex/Tarski.ML ex/Tarski.thy \
   ex/BinEx.ML ex/BinEx.thy ex/svc_test.thy ex/svc_test.ML ex/MonoidGroup.thy \
   ex/PiSets.thy ex/PiSets.ML ex/LocaleGroup.thy ex/LocaleGroup.ML \
-  ex/Antiquote.thy ex/Points.thy
+  ex/Antiquote.thy ex/Multiquote.thy ex/Points.thy
 	@$(ISATOOL) usedir $(OUT)/HOL ex