doc: minor editorial change
[nasm/avx512.git] / doc / 
treef0369a6b23d59e61901ed5cbc693b007061883d6
drwxr-xr-x   ..
-rw-r--r-- 2222 Makefile.in
-rwxr-xr-x 2180 afmmetrics.pl
-rw-r--r-- 56692 changes.src
-rwxr-xr-x 33836 genps.pl
-rw-r--r-- 879 genpsdriver.pl
-rw-r--r-- 9735 head.ps
-rw-r--r-- 1606 inslist.pl
-rw-r--r-- 269724 insref.src
-rw-r--r-- 11251 internal.doc
-rw-r--r-- 4973 makedocs.bat
drwxr-xr-x - metrics
-rw-r--r-- 305363 nasmdoc.src
-rw-r--r-- 887 nasmlogo.eps
-rw-r--r-- 4319 opt_var.txt
-rw-r--r-- 3313 psfonts.ph
-rw-r--r-- 546 pswidth.ph
-rw-r--r-- 43313 rdsrc.pl