mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

	Commit message (Expand)	Author	Age	Files	Lines
*	2740	Kartik K. Agaram	2016-03-08	1	-0/+9

#!/bin/bash
# Regenerate html files.

for f in *.cc *.mu
do
  vim -c "TOhtml | w | qa" $f
  mv $f.html html
done
sed -i 's,<title>\~/mu/,<title>Mu - ,' html/*
sed -i 's,\.html</title>,</title>,' html/*
sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/*
# tweak contrast
sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' html/*
sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' html/*
sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' html/*
sed -i 's/^\.Delimiter .*/.Delimiter { color: #a04060; }/' html/*  # not meant to be read/ can be lower-contrast