diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.sh | 3 | ||||
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 1 |
2 files changed, 1 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 diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index 424a9d04..6e399d06 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -641,6 +641,7 @@ create_main_stats_page() { write_page "<br />There are <a href=\"$BASEURL/index_breakages.html\">some problems in this setup</a> too. And there is <a href=\"https://jenkins.debian.net/userContent/about.html#_reproducible_builds_jobs\">documentation</a> too, in case you missed the link at the top. More feedback is always welcome!</p>" # the end write_page_footer + cp $PAGE $BASE/reproducible.html publish_page } |