| 123456789101112131415161718 |
- #!/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'
-
|
