Warning: this is an htmlized version!
The original is across this link,
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")