GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
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
Should be much easier to maintain and to integrate into the website.
First steps are done for section installing, but still need to substitute version numbers automatically instead of duplicating them in the document.
convert jay part to markdown. git-ignore generated .tex
convert references to bibtex
This is in preparation for #187, converting the manual to markdown:
pandoc comes with a filter that can read bibtex files.
@cites in markdown now work for tex
Inching ever closer to #187
remove latex2html gen before converting to markdown
Get most links/refs working in markdown.
start manual conversion pass: head, intro, installing
example section in markdown
test html gen from markdown
Added an extra empty line at the end of each markdown file so that
they can be put together by `cat`.
complete the split into multiple .md files; add html cites
still needs manual pass through the markdown files to fix up
the automatic conversion
start on lex-specs.md conversion
[up to #Semantics]
finish lex-spec conversion
manual conversion pass through encodings section
Also rewrote some of the introduction to this section.
conversion pass for parser interface section
switch build system back to manual.pdf and manual.html
file reorg, put markdown files in own directory
closes issue #187