|
@@ -0,0 +1,18 @@
|
|
|
+#!/bin/bash
|
|
|
+
|
|
|
+sed 's#"html","<Llap>"#"html","« "#g' | \
|
|
|
+ sed 's#"html","<bigskip>"#"html"," "#g' | \
|
|
|
+ sed 's#"html","<vfill>"#"html",""#g' | \
|
|
|
+ sed 's#"html","<piece>"#"html","(Prod. "#g' | \
|
|
|
+ sed 's#"html","<\/piece>"#"html",")"#g' | \
|
|
|
+ sed 's#"html","<vref>"#"html","<a href=\#"#g' | \
|
|
|
+ sed 's#"html","<\/vref>"#"html",">🔗<\/a>"#g' | \
|
|
|
+ sed 's#"html","<ref>"#"html","<a href=\#"#g' | \
|
|
|
+ sed 's#"html","<\/ref>"#"html",">🔗<\/a>"#g' | \
|
|
|
+ sed 's#"html","<parnum>"#"html","<a href=\#"#g' | \
|
|
|
+ sed 's#"html","<\/parnum>"#"html",">¶<\/a>"#g' | \
|
|
|
+ sed 's#"html","<vparnum>"#"html","<a href=\#"#g' | \
|
|
|
+ sed 's#"html","<\/vparnum>"#"html",">¶<\/a>"#g' | \
|
|
|
+ sed 's#"html","<label>"#"html","<span id="#g' | \
|
|
|
+ sed 's#"html","<\/label>"#"html","><\/span>"#g'
|
|
|
+
|