diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 16:36:35 -0300 |
|---|---|---|
| committer | Silvio Rhatto <user@example.org> | 2014-09-18 16:36:35 -0300 |
| commit | 0d9ff9ecbe486fa0efe89d079266f0d416d5067c (patch) | |
| tree | b5389e2506ea3dfda3d26b44e362656e13c89d8a /mini-html2latex.sed | |
| download | sedscripts-0d9ff9ecbe486fa0efe89d079266f0d416d5067c.tar.gz sedscripts-0d9ff9ecbe486fa0efe89d079266f0d416d5067c.tar.bz2 | |
Initial import
Diffstat (limited to 'mini-html2latex.sed')
| -rw-r--r-- | mini-html2latex.sed | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/mini-html2latex.sed b/mini-html2latex.sed new file mode 100644 index 0000000..03fd2d5 --- /dev/null +++ b/mini-html2latex.sed @@ -0,0 +1,9 @@ +s/<strong>/\\section{/g +s/<\/strong>/}/g +s/<i>/\\emph{/g +s/<\/i>/}/g +s/<a href=\"/\\link{/g +s/\">/}{/g +s/<\/a>/}/g +s/<pre>/\\begin{verbatim}/g +s/<\/pre>/\\end{verbatim}/g |