commit | db72ca1b7d01d9621efc982be817c99d7a8a10bd | [log] [tgz] |
---|---|---|
author | Paul Smith <psmith@gnu.org> | Wed Dec 14 17:23:09 2016 -0500 |
committer | Paul Smith <psmith@gnu.org> | Sun Dec 25 18:18:45 2016 -0500 |
tree | 73a52b68aca153268985889866db9b7148e1551d | |
parent | 8d0aff7e814e02d131050ff1c89e7b3dd332f81e [diff] |
* doc/make.texi: [SV 48951] Fix documentation typo.