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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make language specification available as a PDF #7432

Merged
merged 3 commits into from Dec 10, 2020
Merged

Make language specification available as a PDF #7432

merged 3 commits into from Dec 10, 2020

Commits on Dec 9, 2020

  1. Add scripts for generating specification PDF

    @sake92 @SethTisue
    sake92 authored and SethTisue committed Dec 9, 2020
    Copy the full SHA
    77d2e3d View commit details
    Browse the repository at this point in the history

  2. Change math delimiter to ACUTE ACCENT (麓)

    @sake92 @SethTisue
    sake92 authored and SethTisue committed Dec 9, 2020
    Copy the full SHA
    d9b2018 View commit details
    Browse the repository at this point in the history

  3. PDF spec generation script fixups, & add to Travis 

    also includes:
* Fix JS issue in spec PDF building
* Generate HTML for PDF in a separate folder

Co-authored-by: Sakib Hadziavdic <sake.etf@gmail.com>
    @SethTisue @sake92
    SethTisue and sake92 committed Dec 9, 2020
    Copy the full SHA
    6fb0680 View commit details
    Browse the repository at this point in the history