doc/Makefile.in: drop nasmdoc.ps as a usable documentation file
doc/Makefile.in: drop nasmdoc.ps as a usable documentation file

There is no sane reason to use nasmdoc.ps over nasmdoc.pdf since, oh,
about 20 years.  nasmdoc.ps doesn't embed the fonts (and if it did, it
would be very large, whereas nasmdoc.pdf only contains the characters
we explicitly need), and support for PDF is generally much better than
support for PostScript.

It also makes the distribution file smaller to not have two redundant
files.

Signed-off-by: H. Peter Anvin <8a453bad9912ffe59bc0f0b8abe03df9be19379e@zytor.com>

techkey/nasm,techkey/nasm,techkey/nasm,techkey/nasm,techkey/nasm