diff options
author | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-12 02:52:40 +0200 |
---|---|---|
committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-09-12 02:52:40 +0200 |
commit | 36b60878579dad8e74ed785a36b1028bff7bad45 (patch) | |
tree | 9e3d291ed9efbde5494186d5af254a69058cfebd /GNUmakefile | |
parent | 7fb0f7abd0e0ef5fd94153e342f97a0f6fcb9131 (diff) |
Manual: Make use of makeinfo pointer creation.
darcs-hash:0947d51971e70c3d3f1c4c964f95f493a4904e75
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions