about summary refs log tree commit diff
path: root/doc/manual/installation.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-11-01T14·42+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-11-01T14·42+0000
commit5f8a203b556c649ef25b4b855ee795b6cff23e98 (patch)
treed2b7fb47ad3f089f4bd4d8dfcbaad1e363097545 /doc/manual/installation.xml
parent1511aa11ce8a529ebf7210a9090653a7d7e885d8 (diff)
* A rule to make a PDF version of the manual.
Diffstat (limited to 'doc/manual/installation.xml')
0 files changed, 0 insertions, 0 deletions