diff options
author | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-02-22 18:10:47 +0100 |
---|---|---|
committer | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-02-22 18:10:47 +0100 |
commit | 6165030aa827c89e508ae7fcb30cee9988babbc9 (patch) | |
tree | 96a8a88ffdc99e7f1b668f3c3d06215d80c15b51 /doc/user/conf.py | |
parent | doc: fallback to sphinx-1.0-build (diff) | |
download | frr-6165030aa827c89e508ae7fcb30cee9988babbc9.tar.xz frr-6165030aa827c89e508ae7fcb30cee9988babbc9.zip |
doc: fix hardcoded 'make' invocation
BSD systems need gmake to build FRR, hence why we use $(MAKE) instead of
directly invoking make. It looks like Sphinx generated makefiles
understand this, but contain a bug where the target for info files
hardcodes make instead of using $(MAKE). Fix this.
Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
Diffstat (limited to 'doc/user/conf.py')
0 files changed, 0 insertions, 0 deletions