doc/README

   1 To edit the website appearance:
   2
   3 cd doc/web
   4 edit template.html.in
   5 make
   6
   7 To edit website content:
   8
   9 cd doc (this directory)
  10 edit files carefully
  11 cd web
  12 make
  13
  14 To publish changes:
  15
  16 cd web
  17 make push