Switch to latex2man for documentation