path: root/update_html



#!/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>\~/Desktop/s/mu/,<title>Mu - ,' html/*
sed -i 's,\.html</title>,</title>,' html/*
#!/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>\~/Desktop/s/mu/,<title>Mu - ,' html/*
sed -i 's,\.html</title>,</title>,' html/*