diff -r b10ec1f5e9d5 -r 28b51effc5ed src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Mar 14 14:37:46 2011 +0100
+++ b/src/HOL/IsaMakefile	Mon Mar 14 14:37:47 2011 +0100
@@ -619,7 +619,7 @@
   Number_Theory/UniqueFactorization.thy  \
   Number_Theory/ROOT.ML
 	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Number_Theory
-                                     
+
 
 ## HOL-Old_Number_Theory
 
@@ -1154,6 +1154,7 @@
   Multivariate_Analysis/Derivative.thy					\
   Multivariate_Analysis/Determinants.thy				\
   Multivariate_Analysis/Euclidean_Space.thy				\
+  Multivariate_Analysis/Extended_Real_Limits.thy			\
   Multivariate_Analysis/Fashoda.thy					\
   Multivariate_Analysis/Finite_Cartesian_Product.thy			\
   Multivariate_Analysis/Integration.certs				\