diff options
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 |