Introducing initial support for compile-time / runtime output for PDF books#507

Merged

gusthoff merged 33 commits intoAdaCore:masterfrom gusthoff:topic/infrastructure/sphinx/pdf_books/20210219

Feb 26, 2021

+369-148

Commits on Feb 20, 2021

Test script: detecting code block without associated project.
gusthoff
committed
Test script: fixing call to remove-tree.
gusthoff
committed
Test script: storing runtime output in "out" variable.
gusthoff
committed
Test script: adding support for storing build / runtime output.
gusthoff
committed
Test script: adding handling of C code blocks.
gusthoff
committed
Test script: removing "ada-run" from list of classes that require "run_button."
gusthoff
committed
Test script: adding support for keeping all files generated by the script.
gusthoff
committed
Sphinx: adding Python class for build / runtime output files.
gusthoff
committed
Sphinx: integrating build / runtime output into LaTeX file (for PDF books).
gusthoff
committed
Makefile: adding support for build / runtime output for PDF books.
gusthoff
committed
Editorial changes: removing unneeded instances of "ada-run" class.
gusthoff
committed
Editorial changes: adding compile button to source-code blocks.
gusthoff
committed
Editorial changes: removing paragraphs from PDF version.
gusthoff
committed
Editorial changes: adding "ada-run" class to source-code examples.
gusthoff
committed
Test script: correcting compilation of C code block.
gusthoff
committed
Test script: importing glob
gusthoff
committed
Widget: adding C-related Sphinx classes.
gusthoff
committed
Test script: correcting creation of directory for build/runtime output.
gusthoff
committed
Test script: fixing call to remove-tree in case of "keep files."
gusthoff
committed
Test script: adding support for storing output of the prover.
gusthoff
committed
Widget: adding support for including output of the prover for PDF book.
gusthoff
committed
Correcting function prototype.
gusthoff
committed
Editorial change: correcting typo in project name of code blocks.
gusthoff
committed
Test: adding missing class for expected error in C code.
gusthoff
committed
GitHub actions: adding test of the build of PDF books.
gusthoff
committed
GitHub actions: adding dependencies for PDF books.
gusthoff
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Introducing initial support for compile-time / runtime output for PDF books#507

Commits on Feb 20, 2021

Test script: detecting code block without associated project.

Test script: fixing call to remove-tree.

Test script: storing runtime output in "out" variable.

Test script: adding support for storing build / runtime output.

Test script: adding handling of C code blocks.

Test script: removing "ada-run" from list of classes that require "run_button."

Test script: adding support for keeping all files generated by the script.

Sphinx: adding Python class for build / runtime output files.

Sphinx: integrating build / runtime output into LaTeX file (for PDF books).

Makefile: adding support for build / runtime output for PDF books.

Editorial changes: removing unneeded instances of "ada-run" class.

Editorial changes: adding compile button to source-code blocks.

Editorial changes: removing paragraphs from PDF version.

Editorial changes: adding "ada-run" class to source-code examples.

Test script: correcting compilation of C code block.

Test script: importing glob

Widget: adding C-related Sphinx classes.

Test script: correcting creation of directory for build/runtime output.

Test script: fixing call to remove-tree in case of "keep files."

Test script: adding support for storing output of the prover.

Widget: adding support for including output of the prover for PDF book.

Correcting function prototype.

Editorial change: correcting typo in project name of code blocks.

Test: adding missing class for expected error in C code.

GitHub actions: adding test of the build of PDF books.

GitHub actions: adding dependencies for PDF books.

Commits on Feb 26, 2021

GitHub actions: adding support for storing PDF books in artifact.

GitHub actions: limiting retention period to one day.

GitHub actions: correcting path to PDF books.

GitHub actions: adding support for storing PDF books as artifact.

Editorial changes: replacing attention block by admonition.

Widget: reintroducing caption for source-code blocks in PDF books.

Test script: removing "using project" line from build output.