summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorMatthias Benkard <code@mail.matthias.benkard.de>2007-09-12 02:52:40 +0200
committerMatthias Benkard <code@mail.matthias.benkard.de>2007-09-12 02:52:40 +0200
commit36b60878579dad8e74ed785a36b1028bff7bad45 (patch)
tree9e3d291ed9efbde5494186d5af254a69058cfebd /GNUmakefile
parent7fb0f7abd0e0ef5fd94153e342f97a0f6fcb9131 (diff)
Manual: Make use of makeinfo pointer creation.
darcs-hash:0947d51971e70c3d3f1c4c964f95f493a4904e75
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions