@@ -1101,8 +1101,15 @@ options =
11011101
11021102 , Option "" ["syntax-definition"]
11031103 (ReqArg
1104− (\arg opt -> return opt{ optSyntaxDefinitions = arg :
1105− optSyntaxDefinitions opt })
1104+ (\arg opt -> do
1105+ let tr c d = map (\x -> if x == c then d else x)
1106+ let arg' = case arg of -- see #4836
1107+ -- HXT confuses Windows path with URI
1108+ _:':':'\\':_ ->
1109+ "file:///" ++ tr '\\' '/' arg
1110+ _ -> arg
1111+ return opt{ optSyntaxDefinitions = arg' :
1112+ optSyntaxDefinitions opt })
11061113 "FILE")
11071114 "" -- "Syntax definition (xml) file"
11081115