garbled 7cf7e5abae change make -> ${MAKE}		2000-10-26 06:17:41 +00:00
..
iso	change make -> ${MAKE}	2000-10-26 06:17:41 +00:00
papers	…
psd	…
smm	…
standards/xopen	…
usd	…
Makefile	…