[MLton-commit] r4097

[Stephen Weeks]

Fixed minor Debian problem.

----------------------------------------------------------------------

U   mlton/trunk/package/debian/mlton.doc-base

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/mlton.doc-base
===================================================================
--- mlton/trunk/package/debian/mlton.doc-base	2005-09-17 17:38:07 UTC (rev 4096)
+++ mlton/trunk/package/debian/mlton.doc-base	2005-09-22 22:02:42 UTC (rev 4097)
@@ -6,5 +6,5 @@
 Section: Apps/Programming
 
 Format: HTML
-Index: /usr/share/doc/mlton/user-guide/Home
-Files: /usr/share/doc/mlton/user-guide/*.html
+Index: /usr/share/doc/mlton/guide/Home
+Files: /usr/share/doc/mlton/guide/*.html