Se arregla el bug que hacia que el cliente levante mal archivos XML grandes.

[z.facultad/75.42/plaqui.git] / docs / api / make_pdf_manuals.sh

diff --git a/docs/api/make_pdf_manuals.sh b/docs/api/make_pdf_manuals.sh
index b42dff43c19a226197b8778ee2838a294fc418cf..a4af45ad22db7ae4bbad6084954ff0a225fb6814 100755 (executable)
--- a/docs/api/make_pdf_manuals.sh
+++ b/docs/api/make_pdf_manuals.sh
@@ -4,6 +4,10 @@
 #
 # $Id#
 
 #
 # $Id#
 

+#if [ -d admin ]; then
+#      cp -a devel admin
+#fi
+

 cat admin/main.tex | sed 's/{\\rm.\{5,50\}})}//g' > admin/main2.tex
 mv -f admin/main2.tex admin/main.tex
 
 cat admin/main.tex | sed 's/{\\rm.\{5,50\}})}//g' > admin/main2.tex
 mv -f admin/main2.tex admin/main.tex