commit 0d89d41117ed29cf848420f07d2af775e5f21458
author Davide Pesavento <davidepesa@gmail.com> Wed Mar 13 14:20:02 2024 -0400
committer Davide Pesavento <davidepesa@gmail.com> Wed Mar 13 14:20:02 2024 -0400
tree 6e88654736ad8dcdbee20ae0b1a7cf1b36480340
parent 0e7f73469c5ac90558f5e6639864a109cae004d9

build: rename `sphinx_build.py` to `sphinx.py`

Change-Id: Ieea421a7a9c0d8710aee8be6dabaf6e90f1720fc

wscript

diff --git a/wscript b/wscript
index 63b8a8a..2ef06c4 100644
--- a/wscript
+++ b/wscript
@@ -36,7 +36,7 @@
     opt.load(['default-compiler-flags', 'pch',
               'coverage', 'sanitizers', 'boost',
               'dependency-checker', 'unix-socket', 'websocket',
-              'doxygen', 'sphinx_build'],
+              'doxygen', 'sphinx'],
              tooldir=['.waf-tools'])
 
     optgrp = opt.add_option_group('NFD Options')
@@ -85,7 +85,7 @@
     conf.load(['compiler_cxx', 'gnu_dirs',
                'default-compiler-flags', 'pch',
                'boost', 'dependency-checker', 'websocket',
-               'doxygen', 'sphinx_build'])
+               'doxygen', 'sphinx'])
 
     conf.env.WITH_TESTS = conf.options.with_tests
     conf.env.WITH_OTHER_TESTS = conf.options.with_other_tests