
diff -r ca7be12b2cbc -r ee1247ba4941 doc-src/System/misc.tex
--- a/doc-src/System/misc.tex	Fri Sep 28 11:08:53 2001 +0200
+++ b/doc-src/System/misc.tex	Fri Sep 28 14:04:14 2001 +0200
@@ -187,6 +187,7 @@
 
 
 \section{Isabelle's version of make --- \texttt{isatool make}}
+\label{sec:tool-make}
 
 The Isabelle \tooldx{make} utility is a very simple wrapper for
 ordinary Unix \texttt{make}:




