-
Committer:
Gabor Csardi
-
Date:
2013-11-06 17:27:23 UTC
-
Revision ID:
git-v1:9135dbcf7f724af6e52d39c725fc321e53fba7b2
Change docbook -> PDF toolchain for C manual.
Maybe only temporarily. Would need a more modern solution,
need to look at Publican (https://fedorahosted.org/publican/).