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 /debianpkg/rules | |
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 'debianpkg/rules')
-rwxr-xr-x | debianpkg/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debianpkg/rules b/debianpkg/rules index 14294f54f..46f8f4802 100755 --- a/debianpkg/rules +++ b/debianpkg/rules @@ -27,6 +27,9 @@ MULTIPATH ?= 256 WANT_FRR_USER ?= frr WANT_FRR_VTY_GROUP ?= frrvty +# Don't build PDF docs by default +GENERATE_PDF ?= 0 + # #################################### |