tree 58814eea77d86ddbca739dd005c9adb802611864
parent 3d8617b853af511ca5f019b2f51c7902e2689212
author Joakim Tjernlund <Joakim.Tjernlund@transmode.se> 1234773639 +0100
committer Paul Jakma <paul@quagga.net> 1245934879 +0100

[doc] Add "--disable-doc" to configure

Configure option "--disable-doc" will prevent building
the documents under doc. Saves build time and the need to
have document building tools installed. Useful when your build
machine is different from your development machine.