0381bc170c
Replace docs build-site.py with default-ish sphinx build This seems to speed up docsite build _alot_. The Makefile.sphinx is the sphinx-quickstart generated makefile with a few changes. The CPUS env var or 'nproc' output is used for the number of cpus passed to 'sphinx-build -j'
7 lines
117 B
Bash
Executable file
7 lines
117 B
Bash
Executable file
#!/bin/bash
|
|
|
|
make -f Makefile.old clean
|
|
make -f Makefile.old modules
|
|
make -f Makefile.old directives
|
|
|
|
time make html
|