[PPL-devel] [GIT] ppl/w3ppl(master): Fixed redirection.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Feb 20 18:07:22 CET 2011
Module: ppl/w3ppl
Branch: master
Commit: 7fc0a8bab31c3e7a08cfcdd13ce75b0c7df06fc3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7fc0a8bab31c3e7a08cfcdd13ce75b0c7df06fc3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 20 15:48:12 2011 +0100
Fixed redirection.
---
bin/update_web_site | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/bin/update_web_site b/bin/update_web_site
index 3c8db83..dcf94ee 100755
--- a/bin/update_web_site
+++ b/bin/update_web_site
@@ -218,7 +218,7 @@ fi
# Build the doxygen documentation.
cd $top_dir/build/doc
-make world >&MAKELOG.documentation
+make world >MAKELOG.documentation 2>&1
if [ $? -ne 0 ]
then
echo "*** Cannot make world." >>$notification
More information about the PPL-devel
mailing list