Rich Felker c01dea5066 further suppress generation of info docs hace 8 años
..
Makefile c01dea5066 further suppress generation of info docs hace 8 años