docs/api/make_pdf_manuals.sh

   1 #!/bin/sh
   2 #
   3 # Limplia las referencias del manual de Administración.
   4 #
   5 # $Id#
   6
   7 if [ ! -d admin ]; then
   8         cp -a devel admin
   9 fi
  10
  11 cat admin/main.tex | sed 's/{\\rm.\{5,50\}})}//g' > admin/main2.tex
  12 mv -f admin/main2.tex admin/main.tex
  13
  14 for manual in admin devel; do
  15         cp -f refman_$manual.tex $manual/refman.tex
  16         cp -f doxygen_$manual.sty $manual/doxygen.sty
  17         cd $manual; make; cd ..
  18 done
  19