The command "cat if-args.sh" is not authorized to run.
Dynamic Generation of Linux Ubuntu Manual Pages in PDF Format
