Correction, the port wrongly installs the luajit manpage into
/usr/local/share/man. pkg_delete leaves /usr/local/man untouched.

Sorry about the confusion.

-- 
James Turner
ja...@calminferno.net

Reply via email to