r1927: *** empty log message ***
authorKevin M. Rosenberg <kevin@rosenberg.net>
Sun, 5 May 2002 01:47:27 +0000 (01:47 +0000)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Sun, 5 May 2002 01:47:27 +0000 (01:47 +0000)
cvsbp-prepare
doc/Makefile

index 8fb32902ff1a3a454382e45fadcd7700271dd6ce..cd9155b844c54320b0adc384bb6748c429b0138f 100755 (executable)
@@ -1,7 +1,25 @@
+#!/bin/bash
+
+# Clean checked out CVS directory
 rm -f upload.sh make-dist.sh make-doc.sh cvsbp-prepare
 rm -f `find . -type f -name .cvsignore`
-if [ -f doc/Makefile ]; then
-  pushd doc > /dev/null
-  make
-  popd > /dev/null
+
+# Try to copy documentation from Work dir
+CWD=`pwd`
+BASENAME=`basename ${CWD}`
+BASEDIR=`echo ${BASENAME} | sed -n 's/-[0-9].*$//p'`
+DOCDIR=/usr/local/src/Work/${BASEDIR}/doc
+
+if [ -d ${DOCDIR} -a -d doc ]; then
+  echo "Copying documentation"
+  cp -a ${DOCDIR}/html ${DOCDIR}/*pdf doc/.
+  echo "Unable to copy documentation"
 fi
+
+# Try to build documentation 
+# Not used because PDF created at difference times or places will not match
+#if [ -f doc/Makefile ]; then
+#  pushd doc > /dev/null
+#  make
+#  popd > /dev/null
+#fi
index 3509c73c0b27b1d04843e4e11c142459da63415f..c87c5993718402a6e5837d2ae65b108e83171c5f 100644 (file)
@@ -5,7 +5,7 @@
 #  Programer:    Kevin M. Rosenberg
 #  Date Started: Mar 2002
 #
-#  CVS Id:   $Id: Makefile,v 1.24 2002/05/01 01:00:51 kevin Exp $
+#  CVS Id:   $Id: Makefile,v 1.25 2002/05/05 01:47:27 kevin Exp $
 #
 # This file, part of UFFI, is Copyright (c) 2002 by Kevin M. Rosenberg
 #
@@ -47,13 +47,13 @@ TMPFILES=${DOCFILE_BASE}.aux ${DOCFILE_BASE}.out ${DOCFILE_BASE}.log
 DOCFILES=$(shell echo *.sgml)
 
 .PHONY: all
-all: html pdf ps
+all: html pdf 
 
 .PHONY: dist
-dist: html pdf ps
+dist: html pdf
 
 .PHONY: doc
-doc: html ps
+doc: html pdf
 
 CHECK=nsgmls -s -C ${CATALOG} || exit 1