projects
/
uffi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
r1964: *** empty log message ***
[uffi.git]
/
cvsbp-prepare
diff --git
a/cvsbp-prepare
b/cvsbp-prepare
index c4f321ac27e2f86c4490490ad5dca25a31f97738..8e70e0a6f1587f9d248ebb4f1e905acdefaf3a50 100755
(executable)
--- a/
cvsbp-prepare
+++ b/
cvsbp-prepare
@@
-1,12
+1,17
@@
#!/bin/bash
#!/bin/bash
+set -e # abort on error
+
# Make documentation to put in debian package
# This must match prebuilt upstream documentation
# Make documentation to put in debian package
# This must match prebuilt upstream documentation
-if [ -
d
doc/Makefile ]; then
+if [ -
f
doc/Makefile ]; then
cd doc
make all
cd ..
cd doc
make all
cd ..
+else
+ echo "Unable to build documentation for CVS checked out package"
+ exit 1
fi
# Clean checked out CVS directory
fi
# Clean checked out CVS directory