(:~ generate site :) import module namespace qform = 'urn:quodatum:http.form' at 'postutil.xqm'; (:~ local RR server :) declare variable $rr-server := "https://www.bottlecaps.de/rr/ui"; declare variable $base := "../bundles/grammar/"=>file:resolve-path(file:base-dir() ); declare variable $dest := "../docs/v2/"=>file:resolve-path(file:base-dir() ); declare variable $opts:=map{ "task":"VIEW", "frame":"diagram", "width":992 }; for $file in file:list($base,false(),"*.ebnf") let $ebnf:=file:read-text(file:resolve-path($file,$base))=>trace("EEEE") let $rr:=qform:post-form(map:put($opts,"ebnf",$ebnf),$rr-server) let $t:=xslt:transform($rr,"toc.xsl",map{"title": $file=>trace("file: ")}) let $d:=file:resolve-path($file || ".xhtml",$dest ) return file:write($d,$t,map{"method":"xhtml"})