bin/dednat5 (htmlized)

Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.

#!/bin/sh
# (find-dn5 "")
# exec ~/dednat5/dednat5.lua $*
export LUA_PATH="$HOME/dednat5/?.lua"
exec lua51 ~/dednat5/options.lua $*

# (find-lua51manualw3m "#pdf-package.path")