diff options
| author | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-03-01 16:20:36 +0100 |
|---|---|---|
| committer | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-03-01 16:20:36 +0100 |
| commit | 351c56649bfd8487676704a10995d736d1d893cc (patch) | |
| tree | cdf25c2b59bc60dd6028aa96019817be81308117 /doc/manpages | |
| parent | doc: Create infodir before writing to it and prefix with DESTDIR (diff) | |
| download | frr-351c56649bfd8487676704a10995d736d1d893cc.tar.xz frr-351c56649bfd8487676704a10995d736d1d893cc.zip | |
debianpkg: disable pdf build by default
Causes build issues on a certain 7 year old platform with a severely out
of date sphinx package, requires a full texinfo distribution to build a
package and nobody reads book-style manuals in 2018 anyway, its all
about the web docs...
Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
Diffstat (limited to 'doc/manpages')
0 files changed, 0 insertions, 0 deletions