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.

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

Initial commit Soar manual #3

Merged
merged 1 commit into from
Dec 9, 2023
Merged

Conversation

moschmdt
Copy link
Contributor

@moschmdt moschmdt commented Oct 9, 2023

This PR adds the Soar manual and a CI pipeline to build the manual as PDF and upload it as an output artefact.

This is not a 100% solution right now, because some parts have not been compared completely to the original PDF Soar version.

The following chapters should be very close to the original version:

  • Chapter 1: Introduction
  • Chapter 2: The Soar Architecture
  • Chapter 3: Soar Syntax
  • Chapter 9: Soar User Interface

For chapter 9 I decided to link to the CLI documentation that is included in the PDF anyways. A pandoc filter, cf. path_filter.lua, is used to keep the links inside the conversion from multiple Markdown files to a single PDF document valid. Unfortunately, this requires that links to other parts of the Soar manual must include a section reference.

Unfortunately, I did not have time to go through the other chapters and compare them very closely to the manual about formatting and completeness.

Test pdf generation path fix

Change pipeline conditions
@moschmdt
Copy link
Contributor Author

moschmdt commented Nov 8, 2023

@garfieldnate sorry for pinging you. Any chance you have time to look at it? I would like to link against it in our internal docs.

@garfieldnate
Copy link
Collaborator

Ah sorry, I hadn't seen this! I've updated my watch settings so next time I'll be notified immediately.

I don't have time to look through these atm, but probably will by the end of the month. Should I be looking at #4 first?

@moschmdt
Copy link
Contributor Author

moschmdt commented Nov 8, 2023

I think so, too. This will simplify and increase the robustness of the following PRs I guess.

@garfieldnate
Copy link
Collaborator

I'm going to merge this in as-is and add your TODO comment as a new issue. Thanks for all your work!

@garfieldnate garfieldnate merged commit eddd554 into SoarGroup:main Dec 9, 2023
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants