uva-cs / pdr

A repo for a Program and Data Representation university-level course
Other
91 stars 228 forks source link

Add a script for running source-highlight #31

Closed winstliu closed 5 years ago

winstliu commented 5 years ago

It's easy to forget to perform this step.

Also, I've changed the output format to HTML5, which gets us off of the use of obsolete font tags (but unfortunately does not make the pages responsive, because the template source-highlight uses is extremely barebones).

There are very few actual changes as a result of running the script:

If you also like #32, I can create a new PR incorporating both of them so that you don't have to resolve merge conflicts with Makefile.

aaronbloomfield commented 5 years ago

Closing, as per #46