Code

Use docbook to build manual.pdf; clean *.xml files
authorJonas Fonseca <fonseca@diku.dk>
Wed, 14 Jun 2006 23:53:08 +0000 (01:53 +0200)
committerJonas Fonseca <fonseca@antimatter.localdomain>
Wed, 14 Jun 2006 23:53:08 +0000 (01:53 +0200)
commitde8f9b2bb255e6f167b1bfd073e9c240e51bbdbd
tree13a2389382169a086e9f4fba611e86b8ffbf1e45
parent604da3b78777bf69d01d214f203f3be8ee258f67
Use docbook to build manual.pdf; clean *.xml files
Makefile