diff options
Diffstat (limited to 'gmi2htmldir.sh')
| -rwxr-xr-x | gmi2htmldir.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gmi2htmldir.sh b/gmi2htmldir.sh index 67b8c3c..6359dd0 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 # Get the path of the gmi2html.awk script, which is in the # same directory as this one. @@ -50,7 +50,7 @@ for f in *.gmi **/*.gmi; do echo "processing: ${f} -> ${HTML_FILENAME}" # Run the gmi2html.awk script, passing in the parameters - awk -f $gmi2html -v $title -v $css -v $url \ + awk -f $gmi2html -v $title -v $css -v $original \ < $f \ > $HTML_FILENAME done |