aboutsummaryrefslogtreecommitdiff
path: root/misc/sed/mini-html2latex.sed
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2014-09-18 16:47:55 -0300
committerSilvio Rhatto <rhatto@riseup.net>2014-09-18 16:47:55 -0300
commitb4e2708c6f8cc2191c581aef404803478e65e678 (patch)
tree703d3f7f8f96d9564e7cc3f8ebf85a38c93ab3e1 /misc/sed/mini-html2latex.sed
parent4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae (diff)
downloadscripts-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.sed9
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