Rich Felker c01dea5066 further suppress generation of info docs 8 anni fa
..
Makefile c01dea5066 further suppress generation of info docs 8 anni fa