doc/makehtml.sh

   1 #!/bin/bash
   2 echo "<html>"
   3 echo "<head><title>$1</title></head>"
   4 echo "<body>"
   5 echo '<p align="center">'
   6 echo '<img src="/images/sho1hao3zong1wen2.png" alt="(Speak Good Chinese in characters)" />'
   7 echo "</p>"
   8 cat $2 | sed 's/$/\<br\/\>/g'
   9 echo "</body>"
  10 echo "</html>"