blob: c1d2b70b11924f7c3b99a0d1001c153c667a3fbf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
#!/bin/bash
# Regenerate html files.
# If given a single argument, try to regenerate just that file. Not supported everywhere.
set -e
( cd tools; c++ -g linkify.cc -o linkify; )
# generate html/$1.html using /tmp/tags
process() {
mkdir -p html/$(dirname $1)
rm -f html/$1.html
convert_html $1
tools/linkify /tmp/tags $1.html
mv $1.html.out html/$1.html
rm $1.html
}
URL_BASE='https://github.com/akkartik/mu/blob/main'
convert_html() {
vim -u $MYVIM/vimrc.vim -c "set number" -c TOhtml -c write -c qall $1
sed -i 's,<title>.*/mu/,<title>Mu - ,' $1.html
sed -i 's,\.html</title>,</title>,' $1.html
sed -i "/^<body/a <a href='$URL_BASE/$1'>$URL_BASE/$1</a>" $1.html
sed -i 's/^\* { \(.*\) }/* { font-size:12pt; \1 }/g' $1.html
sed -i 's/^body { \(.*\) }/body { font-size:12pt; \1 }/g' $1.html
sed -i '/^body {/a a { color:inherit; }' $1.html
# switch unicode characters around in the rendered html
# the ones we have in the source files render double-wide in html
# the ones we want in the html cause iTerm2 to slow down in alt-tabbing for some reason
# the following commands give us the best of both worlds
sed -i -e 's/┈/╌/g' -e 's/┊/╎/g' $1.html
}
ctags -x boot.subx [0-9]*.subx [0-9]*.mu > /tmp/tags
for f in boot.subx [0-9]*.subx [0-9]*.mu
do
test $# -gt 0 && test $1 != $f && continue
process $f
done
for f in [^0-9]*.subx [^0-9]*.mu
do
test $# -gt 0 && test $1 != $f && continue
test $f = "boot.subx" && continue
ctags -x boot.subx [0-9]*.subx [0-9]*.mu $f > /tmp/tags
process $f
done
( cd shell
ctags -x ../boot.subx ../[0-9]*.subx ../[0-9]*.mu *.mu > /tmp/tags
)
for f in shell/*.mu
do
test $# -gt 0 && test $1 != shell/$f && continue
process $f
done
rm /tmp/tags
|