diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-13 15:37:49 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-13 15:37:49 -0200 |
| commit | 454c6e3c77b3db507ee81875219089047fc2d5a3 (patch) | |
| tree | 34ea351902ddd6094bc0a96a65b4bc07e9ee83d8 /misc/sed/mini-html2latex.sed | |
| download | scripts-454c6e3c77b3db507ee81875219089047fc2d5a3.tar.gz scripts-454c6e3c77b3db507ee81875219089047fc2d5a3.tar.bz2 | |
Initial import
Diffstat (limited to 'misc/sed/mini-html2latex.sed')
| -rw-r--r-- | misc/sed/mini-html2latex.sed | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/misc/sed/mini-html2latex.sed b/misc/sed/mini-html2latex.sed new file mode 100644 index 0000000..03fd2d5 --- /dev/null +++ b/misc/sed/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 |