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

Generate pdf versions of courses #98

Closed
Robert-Tice opened this issue Jul 20, 2018 · 3 comments
Closed

Generate pdf versions of courses #98

Robert-Tice opened this issue Jul 20, 2018 · 3 comments
Assignees
@gusthoff
Labels
enhancement New feature or request

Comments

@Robert-Tice
Copy link
Contributor

No description provided.

@Robert-Tice Robert-Tice added the enhancement New feature or request label Jul 20, 2018
@Robert-Tice Robert-Tice self-assigned this Jul 20, 2018
@Robert-Tice
Copy link
Contributor Author

This will be dependent on the solution to #107. The compiler/prover outputs should be included with the code snippets.

@Robert-Tice Robert-Tice mentioned this issue Aug 13, 2018
Closed
@Earnestly
Copy link

I am currently working around this by commenting out the widget_extension item from the extensions list in https://github.com/AdaCore/learn/blob/master/engine/sphinx/conf.py#L49-L56

@Robert-Tice Robert-Tice assigned gusthoff and unassigned raph-amiard Apr 17, 2020
@Robert-Tice
Copy link
Contributor Author

Done in PR #296

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gusthoff gusthoff

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@raph-amiard @Earnestly @gusthoff @Robert-Tice