X-Git-Url: https://git.llucax.com/z.facultad/75.42/plaqui.git/blobdiff_plain/add829f3935873adceec8cf027bc9b333f1f57bb..3e56bc8be121c3896356f94709f127c97956228d:/docs/api/make_pdf_manuals.sh

diff --git a/docs/api/make_pdf_manuals.sh b/docs/api/make_pdf_manuals.sh
index b42dff4..a4af45a 100755
--- a/docs/api/make_pdf_manuals.sh
+++ b/docs/api/make_pdf_manuals.sh
@@ -4,6 +4,10 @@
 #
 # $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