# HG changeset patch
# User gagern
# Date 1174422098 -3600
# Node ID 52a5277d0489b0a70b7577d3a511f584dd341f76
# Parent  415098eece94e399e18bb3d2e4bf00f21ca67a39
Better documentation path rewriting for src dir, used in tarball build.

diff -r 415098eece94 -r 52a5277d0489 Admin/isatest/annomaly.ML
--- 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