…
..
8½.ms
fig1.ps
mkfile	/sys/doc: fix mkfile to and remove files that now can be regenerated	2017-05-09 16:23:48 +02:00