gusthoff
694a6b6b53
Sphinx: new extlink: gnat_ugn_url
2024-01-12 20:49:10 +01:00
gusthoff
341e1f66bb
SCSS: enhancing color for new Sphinx "switch" role
2024-01-12 20:24:13 +01:00
gusthoff
ed7b2997fe
Editorial change: using extlinks for references
2024-01-12 19:19:41 +01:00
gusthoff
fce8b63ce4
Sphinx: using different HTML title for sandbox
2023-12-29 18:49:45 +01:00
gusthoff
dc34c67677
Sphinx: using different logo for sandbox
2023-12-29 18:49:17 +01:00
gusthoff
79e3bd6207
Makefile: minor fix to output ZIP file
...
Excluding extraneous JSON files
2023-12-21 18:49:45 +01:00
gusthoff
db2476ebb9
Test script: making JSON file discovery easier
...
Simplifying regex.
2023-11-28 00:02:17 +01:00
gusthoff
26d8f08d30
Documentation: adding draft doc for source-code builds
2023-11-25 00:59:14 +01:00
gusthoff
4bb70ae902
Test script: using timestamp again for extracted_projects.json file
2023-11-25 00:59:14 +01:00
gusthoff
b56ffae5db
Test script: consolidated --extracted_projects and --build-dir switches
...
- Tested/fixed usage of either one of those switches or both.
- Tested/fixed special cases.
- Harmonized both scripts.
2023-11-25 00:59:14 +01:00
gusthoff
c1fd655171
Test script: allow reading of previous list of projects
2023-11-25 00:59:14 +01:00
gusthoff
64afd8f78b
Test script: removing useless branch
...
"block.active" is already True by default.
2023-11-25 00:59:14 +01:00
gusthoff
5e9cd3def2
Test script: using dictionary for list of projects
2023-11-25 00:59:14 +01:00
gusthoff
d342e3d7c0
Test script: removing support for default JSON file
2023-11-25 00:59:14 +01:00
gusthoff
bc93d4ca7a
Test script: displaying warning if script is running standalone
2023-11-25 00:59:14 +01:00
gusthoff
83cbedb7cf
Test script: adding "--force" switch for project checks
2023-11-25 00:59:14 +01:00
gusthoff
6d41652d01
Test script: improving help message for "--extracted_projects"
2023-11-25 00:59:14 +01:00
gusthoff
5242214c3e
Test script: repurposing "-code-block-at" switch
...
- Adding support for deactivating code blocks (JSON entry: "active")
- Using "--code-block-at" to restrict code block activation to a single code
block.
- Only extracting active code blocks.
- Only checking active code blocks.
2023-11-25 00:59:14 +01:00
gusthoff
736bdadfb7
Test script: removing unused function
2023-11-25 00:59:13 +01:00
gusthoff
22cb63a9e2
Test script: removing broken switch: "--code-block"
2023-11-25 00:59:13 +01:00
gusthoff
052a6be9eb
Test script: deactivating timestamp in JSON filename
...
Timestamp prevents reusing previously extracted code.
2023-11-25 00:59:13 +01:00
gusthoff
44b2a74c63
Test script: adding timestamp to projects file
...
Adding timestamp to generated JSON file containing list of extracted projects.
2023-11-25 00:59:13 +01:00
gusthoff
519f6ebf4d
Test script: remove checks
...
Assume that `build_dir` and `extracted_projects_json` are always set via default
values.
2023-11-25 00:59:13 +01:00
gusthoff
30eca92f41
Test script: adding missing import
2023-11-25 00:59:13 +01:00
gusthoff
2dc734e0b8
Test script: allowing for deriving the build dir from JSON file
...
The directory name for the JSON file specified in `--extracted_projects` will be
used as the build directory.
2023-11-25 00:59:13 +01:00
