uva-cs / pdr

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

Add format/highlighting scripts to Makefile #46

Closed winstliu closed 4 years ago

winstliu commented 5 years ago

As well as a convenient publish target to run all three - Markdown conversion, source file formatting, and highlighting!

As mentioned in #31, this does change the template to HTML5, which is the cause of the vast majority of the changes.

Supersedes and closes #31 Supersedes and closes #32