SoarGroup / SoarGroup.github.io

Soar's website: documentation, news, announcements, links, etc.
http://soar.eecs.umich.edu/
Other
7 stars 3 forks source link

Add CLI documentation from Github Wiki #2

Closed moschmdt closed 12 months ago

moschmdt commented 1 year ago

Just copied the CLI documentation over from the GitHub Wiki and added some files that were linked to in other documentation documents (to be added via another PR) - added files are still empty.

The tutorials and the manual link to those documents, thus they need to be added prior to the manual and tutorials.

moschmdt commented 1 year ago

Any idea about this link: http://webdocs.cs.ualberta.ca/~sutton/papers/sutton-92a.pdf ?

garfieldnate commented 12 months ago

Hey this is cool, thank you!

Looks like Rich Sutton has a new website: http://incompleteideas.net/papers/sutton-92a.pdf.

garfieldnate commented 12 months ago

This wiki text also included in the manual: https://github.com/SoarGroup/Release-Support/blob/master/ManualSource/wikicmd/gen_tex.sh.

I suspect that if we maintain a markdown version instead of the Wiki that processing it into the manual will be a lot simpler.

No one has edited the Wiki in 5 years, so I think it's probably okay to not use it anymore. We'll need to take the Wiki down and point users here.

moschmdt commented 12 months ago

This wiki text also included in the manual: https://github.com/SoarGroup/Release-Support/blob/master/ManualSource/wikicmd/gen_tex.sh.

I suspect that if we maintain a markdown version instead of the Wiki that processing it into the manual will be a lot simpler.

No one has edited the Wiki in 5 years, so I think it's probably okay to not use it anymore. We'll need to take the Wiki down and point users here.

Yes, it will be a lot easier since running a CI pipeline with pandoc to build the SoarManual will be straight forward.

I have a solution ready (CI pipeline and build script) but awaiting the merge of this PR so paths and dependencies are resolved.

garfieldnate commented 12 months ago

Thank you!