diff options
author | jwinnie <jwinnie@tilde.institute> | 2021-11-30 11:17:05 -0800 |
---|---|---|
committer | jwinnie <jwinnie@tilde.institute> | 2021-11-30 11:17:05 -0800 |
commit | 538501df2ccb80d3ddf910e989e87762d320e9c2 (patch) | |
tree | c5d6172ed35f8e09a7e28459e3bcfb152892b456 /gmi2html.awk | |
parent | 6a480e6bddbbc91e288063e511dfcf6c7d463e63 (diff) | |
parent | 29cdd995bec13064b7dbf9f36b5831388fb6d93c (diff) | |
download | gmi2html-master.tar.gz |
Diffstat (limited to 'gmi2html.awk')
-rwxr-xr-x | gmi2html.awk | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gmi2html.awk b/gmi2html.awk index 0193e6e..cba6c20 100755 --- a/gmi2html.awk +++ b/gmi2html.awk @@ -21,12 +21,12 @@ # $ awk -f gmi2html.awk \ # -v title=<title> \ # -v css=<css> \ -# -v url=<url> < path/to/gmi > path/to/html +# -v original=<original> < path/to/gmi > path/to/html # # parameters: # <title>: the title of the document, used in the HTML <title> # <css>: relative path to a CSS stylesheet -# <url>: URL of the original Gemini document, linked in the footer +# <original>: URL of the original Gemini document, linked in the footer # Begin HTML document BEGIN { @@ -119,7 +119,7 @@ BEGIN { /^>/ { sub(/^>[ \t]*/, "") - printf "<blockquote><p>“%s”</p></blockquote>", $0 + printf "<blockquote>%s</blockquote>", $0 next } @@ -147,7 +147,7 @@ BEGIN { text = url } - printf "<p><code>=></code> <a href=\"%s\">%s</a></p>", url, text + printf "<p><a href=\"%s\">%s</a></p>", url, text next } @@ -174,5 +174,5 @@ Also available on <a href=\"gemini://%s\">Gemini</a>\ </small>\ </footer>\ </body>\ -</html>", url +</html>", original } |