From: Adam Chlipala Date: Sun, 18 Nov 2007 23:06:39 +0000 (+0000) Subject: Fix addWordPress X-Git-Tag: release_2010-11-19~114 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/834b7d572612b86e309e6a9bfeced2d0286f024e Fix addWordPress --- diff --git a/lib/web_apps.dtl b/lib/web_apps.dtl index f188c74..9d6bb9f 100644 --- a/lib/web_apps.dtl +++ b/lib/web_apps.dtl @@ -2,7 +2,6 @@ val addWordPress = \ loc : (location) -> location loc with - rewriteBase "/"; rewriteCond "%{REQUEST_FILENAME}" "!-f" []; rewriteCond "%{REQUEST_FILENAME}" "!-d" []; rewriteRule "." "/index.php" [last] diff --git a/src/describe.sig b/src/describe.sig index 514c2a2..268a9e1 100644 --- a/src/describe.sig +++ b/src/describe.sig @@ -26,4 +26,6 @@ signature DESCRIBE = sig val describe_type_error : Ast.position -> Ast.type_error -> unit + + end