diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-10-26 16:55:33 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:49 +0200 |
commit | c8f769a96a8419ec24c1ba222caab6488eb55f29 (patch) | |
tree | c1f554b47b059d8d6a01f0dd891fb652e94397cc /include | |
parent | 0c73ee95a9a78ef80a2368b55f6214f40f5a3771 (diff) |
2006-10-26 Thomas Schwinge <tschwinge@gnu.org>
[task #5956 --- ``Automake'ify GNU Mach's code base'']
The Automake build system wants us to have these files in the rcs, so
do that.
* doc/mach.info: New file, generated.
* doc/mach.info-1: Likewise.
* doc/mach.info-2: Likewise.
* doc/stamp-vti: Likewise.
* doc/version.texi: Likewise.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions