diff options
| author | David Bremner <david@tethera.net> | 2019-03-19 20:50:28 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-03-19 20:54:15 -0300 |
| commit | 0557c5a0333b971188c02c961dec88496f2eed0c (patch) | |
| tree | 5af5a836cbdcddd6505e305d12e094802fd6351c /bindings/python/docs/source/status_and_errors.rst | |
| parent | 5569e042315862bdedb341472160cd09f4a0a2f7 (diff) | |
doc/build: use $(MAKE) instead of make
This should silence some warnings about the jobserver, but also make
it easier to build the docs where GNU make is called something other
than make.
Based on a patch from aidecoe.
Diffstat (limited to 'bindings/python/docs/source/status_and_errors.rst')
0 files changed, 0 insertions, 0 deletions