X-Git-Url: https://git.llucax.com/z.facultad/75.42/plaqui.git/blobdiff_plain/0e3cd5a760199d782d22e53ec20be11ba0e23e55..HEAD:/docs/api/make_pdf_manuals.sh

diff --git a/docs/api/make_pdf_manuals.sh b/docs/api/make_pdf_manuals.sh
index a4af45a..9b67e41 100755
--- a/docs/api/make_pdf_manuals.sh
+++ b/docs/api/make_pdf_manuals.sh
@@ -4,9 +4,9 @@
 #
 # $Id#
 
-#if [ -d admin ]; then
-#	cp -a devel admin
-#fi
+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