blob: b9a7ad798853fbf26d97231fac5378a18611a595 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/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/*.html
sed -i 's,\.html</title>,</title>,' html/*.html
sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/*.html
# tweak contrast
sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' html/*.html
sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' html/*.html
sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' html/*.html
sed -i 's/^\.Delimiter .*/.Delimiter { color: #a04060; }/' html/*.html # not meant to be read/ can be lower-contrast
|