Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Infrastructure: adding support for zipfile with source-code examples #858

Merged
merged 21 commits into from
Apr 1, 2023
Merged

Infrastructure: adding support for zipfile with source-code examples #858

merged 21 commits into from
Apr 1, 2023

Conversation

gusthoff
Copy link
Collaborator

@gusthoff gusthoff commented Apr 1, 2023

  • Writing separate directories for code blocks.
  • Directories named by MD5 hash.
  • Writing JSON file containing code block information.

Ref #626

@gusthoff
Test script: storing name of RST file
851cc2e
@gusthoff
Test script: storing hash values
379f642 
Storing MD5 and SHA-512 values.
@gusthoff
Test script: removing first newline from stored text
5f7f7dc
@gusthoff
Test script: adding function to dump block info into JSON file
9383a44
@gusthoff
Sphinx: adding support for retrieving and storing block information
04a1170
@gusthoff
Sphinx: storing information internally
5ce9459
@gusthoff
Sphinx: fixing issue with unknown "info type"
9e8ec51
@gusthoff
Sphinx: storing block information in variable
a9c27b7
@gusthoff
Sphinx: adding support for displaying code block information
a0d3e1b 
Displaying project name and MD5.
@gusthoff
Test script: separating function that creates source-code files
fc80966
@gusthoff
Test script: adding small comment
f1e1208
@gusthoff
Test script: adding support for separate code blocks with hash
8f8b25e 
- Test script changes:
	- storing code blocks in separate directories based on their MD5 hash;
	- storing latest version of code block in a separate directory named
"latest".
- Widget extension changes:
	- retrieving code blocks based on hashes for offline e-publication.
@gusthoff
Test script: cleaning up builds after generating logfiles
46f4f8d
@gusthoff
Test script: generating file with code block information
27d4a16
@gusthoff
Sphinx: commenting out debug info
19f2c9d
@gusthoff
Makefile: adding support for storing source-code blocks in zipfile
4314597
@gusthoff
Makefile: moving source-code blocks of hidden books into separate target
ee14a92
@gusthoff
Frontpage: adding link to zipfile containing source-code examples
ee6cc29
@gusthoff
Sphinx: correcting info
25525b3
@gusthoff
Sphinx: do not display info block for HTML output
6d6622a
@gusthoff
Test script: remove dependency on language for code clean-up
c380769
@github-advanced-security
Copy link

You have successfully added a new CodeQL configuration .github/workflows/codeql-analysis.yml:analyze/language:python. As part of the setup process, we have scanned this repository and found no existing alerts. In the future, you will see all code scanning alerts on the repository Security tab.

@github-advanced-security
Copy link

You have successfully added a new CodeQL configuration .github/workflows/codeql-analysis.yml:analyze/language:javascript. As part of the setup process, we have scanned this repository and found no existing alerts. In the future, you will see all code scanning alerts on the repository Security tab.

@gusthoff gusthoff merged commit 6d0581e into AdaCore:master Apr 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
website infrastructure
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@gusthoff