diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 18:55:25 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 18:55:25 -0300 |
commit | c3c3e101e837f781e4c871fa9c0c00e45cdddeab (patch) | |
tree | d7f9e02906f18e8b0f706eafa41bcf33abc8e2e6 /mini-html2latex.sed | |
parent | 0d9ff9ecbe486fa0efe89d079266f0d416d5067c (diff) | |
download | sedscripts-c3c3e101e837f781e4c871fa9c0c00e45cdddeab.tar.gz sedscripts-c3c3e101e837f781e4c871fa9c0c00e45cdddeab.tar.bz2 |
Exec permissions
Diffstat (limited to 'mini-html2latex.sed')
-rwxr-xr-x[-rw-r--r--] | mini-html2latex.sed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mini-html2latex.sed b/mini-html2latex.sed index 03fd2d5..d09f992 100644..100755 --- a/mini-html2latex.sed +++ b/mini-html2latex.sed @@ -1,3 +1,4 @@ +#!/bin/sed -f s/<strong>/\\section{/g s/<\/strong>/}/g s/<i>/\\emph{/g |