1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283 |
- #!/bin/bash
- set -e
- inputs="behavior modeling vocabulary"
- git_branch=`git rev-parse --abbrev-ref HEAD`
- git_commit_id=`git rev-parse HEAD`
- git_commit_id_short=`git rev-parse --short HEAD`
- now=`date --utc +%Y-%m-%d`
- dirty () {
- git diff-index --quiet HEAD --
- }
- runPandoc () {
- local dir="$1"
- local file="$2"
- if [ "$3" == "true" ]; then
- local toc="--table-of-contents --number-sections"
- else
- local toc=""
- fi
- local theme="$4"
- if [ "$theme" == "light" ]; then
- local otherTheme="/index/dark"
- local otherThemeName="🌑"
- local output="html/$file.html"
- local suffix=".html"
- else
- local otherTheme="/index"
- local otherThemeName="🌞"
- local output="html/$file/dark.html"
- local suffix="/dark.html"
- mkdir -p "html/$file"
- fi
- pandoc $dir/$file.md \
- --from markdown \
- --to html \
- --template html/template.html \
- $toc \
- --variable "gitbranch:$git_branch" \
- --variable "gitcommitid:$git_commit_id" \
- --variable "gitcommitidshort:$git_commit_id_short" \
- --variable "date:$now" \
- --variable "theme:$theme" \
- --variable "other-theme:$otherTheme" \
- --variable "other-theme-name:$otherThemeName" \
- --variable "suffix:$suffix" \
- --output "$output"
- #$gitdirty \
- }
- render () {
- local dir="$1"
- local file="$2"
- local toc="$3"
- runPandoc $dir $file $toc "light"
- runPandoc $dir $file $toc "dark"
- }
- #dirty
- #if [ $? -eq 0 ]; then
- # gitdirty=""
- #else
- # gitdirty="--variable gitdirty"
- #fi
- cp rdf/context.jsonld html/ns
- render html index "false"
- for file in $inputs; do
- render spec $file "true"
- done
|