| 1234567891011121314151617181920 |
- #!/bin/bash
- sed 's#"html","<Llap>"#"html","<span class=Llap>« </span>"#g' | \
- sed 's#"html","<bigskip>"#"html"," "#g' | \
- sed 's#"html","<vfill>"#"html","<div style=height:100px;></div>"#g' | \
- sed 's#"html","<piece>"#"html","(Prod. n<sup>o</sup> XX-"#g' | \
- sed 's#"html","<\/piece>"#"html",")"#g' | \
- sed 's#"html","<div>"#"html","(Prod. n<sup>o</sup> XX-"#g' | \
- sed 's#"html","<\/>"#"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'
-
|
