|
@@ -1,6 +1,7 @@
|
|
|
#!/bin/bash
|
|
|
|
|
|
sed 's#"html","<Llap>"#"latex","\\\\Llap\{«\ \}"#g'| \
|
|
|
+ sed 's#"html","<Llapen>"#"latex","\\\\Llap\{“}"#g'| \
|
|
|
sed 's#"html","<bigskip>"#"latex","\\\\bigskip"#g'| \
|
|
|
sed 's#"html","<vfill>"#"latex","\\\\vfill"#g'| \
|
|
|
sed 's#"html","<clearpage>"#"latex","\\\\clearpage"#g'| \
|