publish

   1 #!/usr/local/bin/ae
   2
   3 dest=/home/www/lib/html/doc/metad
   4 src=metad
   5 echo "Publishing $src.texi into $dest..."
   6 rm $dest/*
   7 cp $src.texi $dest
   8 cd $dest || exit 1
   9
  10 texi2html -menu -split_chapter $src.texi
  11 texi2dvi $src.texi
  12 dvips $src.dvi > $src.ps
  13
  14 ln -s ${src}_toc.html index.html
  15
  16 chmod a+r *