Please refer to this blogpost to get an overview.
Replace *-INSTANCE
with one of the public instances listed in the scrapers section. Replace CAPITALIZED
words with their corresponding identifiers on the website.
# Generate PDFs from the Markdown source files | |
# | |
# In order to use this makefile, you need some tools: | |
# - GNU make | |
# - Pandoc | |
# - LuaLaTeX | |
# - DejaVu Sans fonts | |
# Directory containing source (Markdown) files | |
source := src |
Please refer to this blogpost to get an overview.
Replace *-INSTANCE
with one of the public instances listed in the scrapers section. Replace CAPITALIZED
words with their corresponding identifiers on the website.