Better documentation path rewriting for src dir, used in tarball build.

--- a/Admin/isatest/annomaly.ML	Tue Mar 20 20:42:14 2007 +0100
+++ b/Admin/isatest/annomaly.ML	Tue Mar 20 21:21:38 2007 +0100
@@ -4,8 +4,9 @@
 
   val smlnj_use_text = use_text
 
-  fun strip ([], name, _) = name
+  fun strip ([], "src" :: name, _) = name
     | strip (["Distribution"], name, _) = name
+    | strip ([], name, _) = name
     | strip (h1 :: t1, h2 :: t2, def) =
       if h1 = h2 then strip (t1, t2, def) else def