|
|
57b630acbb
|
update documentation for building the manual with PIP_OPTIONS settings
|
2021-02-16 12:32:37 -05:00 |
|
|
|
9a3f935c9b
|
do not include polyfill.js anymore
|
2020-10-27 20:17:59 -04:00 |
|
|
|
fdbcd202fa
|
Consolidate the redundant instructions for building the manual into one location.
|
2020-10-08 08:31:58 -04:00 |
|
