- update the list of documents for which GNU info is built
- convert tabs to spaces
1 file changed