Allow passing options to genps.pl from the user command line
[platform/upstream/nasm.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 1705 Makefile.in
-rwxr-xr-x 2180 afmmetrics.pl
-rwxr-xr-x 33861 genps.pl
-rw-r--r-- 855 genpsdriver.pl
-rw-r--r-- 9742 head.ps
-rw-r--r-- 11251 internal.doc
-rw-r--r-- 4957 makedocs.bat
drwxr-xr-x - metrics
-rw-r--r-- 516688 nasmdoc.src
-rw-r--r-- 894 nasmlogo.eps
-rw-r--r-- 1517 psfonts.ph
-rw-r--r-- 546 pswidth.ph
-rw-r--r-- 42267 rdsrc.pl