diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 16:47:55 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 16:47:55 -0300 |
commit | b4e2708c6f8cc2191c581aef404803478e65e678 (patch) | |
tree | 703d3f7f8f96d9564e7cc3f8ebf85a38c93ab3e1 /misc/sed/mini-html2latex.sed | |
parent | 4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae (diff) | |
download | scripts-b4e2708c6f8cc2191c581aef404803478e65e678.tar.gz scripts-b4e2708c6f8cc2191c581aef404803478e65e678.tar.bz2 |
Moved scripts to custom repos
Diffstat (limited to 'misc/sed/mini-html2latex.sed')
-rw-r--r-- | misc/sed/mini-html2latex.sed | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/misc/sed/mini-html2latex.sed b/misc/sed/mini-html2latex.sed deleted file mode 100644 index 03fd2d5..0000000 --- a/misc/sed/mini-html2latex.sed +++ /dev/null @@ -1,9 +0,0 @@ -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 |