docs/api/make_pdf_manuals.sh

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