From 6dd05bd84faebf6d7e9e36a0f1dd040ef9fb24a3 Mon Sep 17 00:00:00 2001
From: Leandro Lucarella <llucax@gmail.com>
Date: Sat, 18 Jun 2005 22:56:14 +0000
Subject: [PATCH] Mini bugfix.

---
 docs/api/make_pdf_manuals.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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
-- 
2.43.0