cortav  Diff

Differences From Artifact [a29a5961ee]:

To Artifact [053a3467a6]:


     2      2   # to write a shebang that works across distros, so we're generating
     3      3   # the shebang and inserting it into the script at build time.
     4      4   # we also do something similar with the path to cortav, in case the
     5      5   # executable isn't in $PATH
     6      6   
     7      7   out=$(mktemp --suffix=.html)
     8      8   
     9         -"$cortav_exec" "$1" -o "$out" -m html:width 35em
            9  +"$cortav_exec" "$1" -o "$out" $cortav_flags
    10     10   
    11     11   if test "$BROWSER" != ""; then
    12     12   	"$BROWSER" "file://$out"
    13     13   else
    14     14   	xdg-open "$out"
    15     15   fi
    16     16   
    17     17   # clean up when the browser closes
    18     18   sleep 1 # in case of tricksiness
    19     19   rm "$out"