--- manual/s_getstarted/text/testing.tex	2004/01/29 18:50:45	1.2
+++ manual/s_getstarted/text/testing.tex	2004/10/16 03:40:13	1.3
@@ -1,9 +1,12 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/s_getstarted/text/testing.tex,v 1.2 2004/01/29 18:50:45 edhill Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/s_getstarted/text/testing.tex,v 1.3 2004/10/16 03:40:13 edhill Exp $
 % $Name:  $
 
 \section{Testing}
 \label{sect:testing}
 \label{www:testing}
+\begin{rawhtml}
+<!-- CMIREDIR:testing: -->
+\end{rawhtml}
 
 A script (\texttt{testreport}) for automated testing is included in
 the model within the {\em verification} directory.  While intended