diff options
| -rwxr-xr-x | gmi2html.awk | 6 | ||||
| -rwxr-xr-x | gmi2htmldir.sh | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/gmi2html.awk b/gmi2html.awk index 0193e6e..3092852 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 { @@ -174,5 +174,5 @@ Also available on <a href=\"gemini://%s\">Gemini</a>\ </small>\ </footer>\ </body>\ -</html>", url +</html>", original } diff --git a/gmi2htmldir.sh b/gmi2htmldir.sh index 42babfb..2a20673 100755 --- a/gmi2htmldir.sh +++ b/gmi2htmldir.sh @@ -18,19 +18,19 @@ # SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. # # usage: -# $ ./gmi2htmldir.sh <in> <out> title=<title> css=<css> url=<url> +# $ ./gmi2htmldir.sh <in> <out> title=<title> css=<css> original=<original> # # parameters: # <in>: the folder of Gemini files to be converted # <out>: the folder in which to put the generated HTML files -# <title>, <css>, <url>: parameters passed to gmi2html.awk; see gmi2html.awk for more details +# <title>, <css>, <original>: parameters passed to gmi2html.awk; see gmi2html.awk for more details # in=$1 out=$2 title=$3 css=$4 -url=$5 +original=$5 gmi2html=${PWD}/$(dirname $0)/gmi2html.awk @@ -38,5 +38,5 @@ cd $in for f in *.gmi **/*.gmi; do HTML_FILENAME=$out/${f%.gmi}.html echo "processing: ${f} -> ${HTML_FILENAME}" - awk -f $gmi2html -v $title -v $css -v $url < $f > $HTML_FILENAME + awk -f $gmi2html -v $title -v $css -v $original < $f > $HTML_FILENAME done |