From fcd667a0ebe73a7868e93232faea36d56535be18 Mon Sep 17 00:00:00 2001 From: eudoxia Date: Mon, 2 May 2022 12:37:11 -0400 Subject: reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*) --- gen-online.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 gen-online.sh (limited to 'gen-online.sh') diff --git a/gen-online.sh b/gen-online.sh new file mode 100755 index 0000000..4ba5a5b --- /dev/null +++ b/gen-online.sh @@ -0,0 +1,26 @@ +#!/bin/sh -e + +# This script solely generates the formatted code as hosted on the distress.network website. It is thus not intended for actual use by anyone other than the site owner. + +tmp=$(mktemp -p /tmp) +css="h3,.lp-ref {font-family: neue-haas-grotesk-text, var(--fs-sans); font-size: 1rem; font-weight: normal; font-style: italic;} h3 {margin: 1rem;}" + +for file in "data" "log" "tangle" "weave" ; do + in="${file}.lp" ; out="doc/online/${file}.html" ; + cat "doc/online/header" "$in" | ./weave > "$tmp" ; + sed "s;title: ;&${in};1" -i'' "$tmp" ; + sed "s;leading: ;&${in};1" -i'' "$tmp" ; + + pushd "../web" > "/dev/null" ; + sh "./md.sh" "$tmp" "../literary/$out" > "/dev/null" ; + popd > "/dev/null" ; + sed "/~\n&~1" -i'' "$out" ; + sed 's;\(.*\)@= \(.*\) =@;\1(\2);1' -i'' "$out" ; + + echo "[ok] generated text '${file}'" ; +done + +sh "./../sync.sh" + +rm "$tmp" -- cgit v1.2.3