These scripts must be executed from within their residing directory only, and depend on adjacent files within it in order to function. For convenience it is recommended to create symlinks within this directory to all website directories under maintenance.
md.sh is a static site generator from Markdown files.
The script may be executed with a single argument corresponding to the webpage directory containing the input Markdown file, which should be named
src.md. The output HTML file, named
index.html, will be located in the same directory.
./md.sh <target directory>
Alternatively, the script may be given two arguments, pointing to the input file and output file paths respectively.
./md.sh <input md> <output html>
The input file may begin with metadata key-value declarations, as specified by lowdown(5).
md.sh recognizes and formats the following:
title, for the HTML page title;
bomber, for the header splash text;
leading, for the page's leading phrase;
opts, for further configuration options described below.
Page options are denoted by any combination of the following characters:
c, to generate a table of contents;
f, to suppress generation of the page footer;
h, to suppress generation of the page header.
The table of contents generation may malfunction if two header names are identical within the page.
plain.sh converts plain text files to HTML documents.
./plain.sh <input txt> <output html>
The HTML page title may be specified within the input document using the following declaration:
<!--title: ... -->
... is the page title.
svgtex.sh renders LaTeX math mode commands as SVG files.
echo "<equation>" | ./svgtex.sh <output path>
front.sh generates the front page.
./front.sh <output html>
nav.sh generates the sitemap navigation pane. Installation of tree is required.
./nav.sh <source dir> <output file>
reload.sh is a meta-script which updates the website's front page, navigation listings, and XML sitemap, and can optionally regenerate all of the webpages at once.
./sitemap.sh <target dir> <output xml>
urlencode is a small C program which converts a string into a URL-encoded format.
echo "<string>" | ./urlencode