X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Fengine.ml;h=027b03575589bbd6ce3a1a747698b854798ddf3f;hb=916c558005ed665c62699a7a4c5347870c8a3efb;hp=091987b65564602403396176e0fb28eb2278af42;hpb=4dc47c9675ffd5fa50296ffaa9b5997501518c98;p=helm.git

diff --git a/helm/software/components/binaries/transcript/engine.ml b/helm/software/components/binaries/transcript/engine.ml
index 091987b65..027b03575 100644
--- a/helm/software/components/binaries/transcript/engine.ml
+++ b/helm/software/components/binaries/transcript/engine.ml
@@ -234,6 +234,9 @@ let produce st =
 	 | T.Section (b, id, _) as item ->
 	    let path = if b then id :: path else List.tl path in
 	    path, Some item
+	 | T.Verbatim s                 ->
+	    let pat, templ = st.input_base_uri, st.output_base_uri in
+	    path, Some (T.Verbatim (Pcre.replace ~pat ~templ s)) 
 	 | item                         -> path, Some item
       in
       let set_includes st name =