diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 90057964..44049f98 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -298,9 +298,6 @@ write_explaination_table() { publish_page() { if [ "$1" = "" ] ; then - if [ "$VIEW" = "$MAINVIEW" ] ; then - cp $PAGE $BASE/reproducible.html - fi TARGET=$PAGE else TARGET=$1/$PAGE |