diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-23 13:49:55 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-23 13:49:55 +0200 |
| commit | f6056bd3142a622188718b11e147dbed76bf7e74 (patch) | |
| tree | ee58058ca921bd54e5647fc7628df5ee68a1d3db /bin | |
| parent | 239376a2df01d41106d34bdc1eb26a5cf4e1ae53 (diff) | |
| download | jenkins.debian.net-f6056bd3142a622188718b11e147dbed76bf7e74.tar.xz | |
reproducible: pages with 0 packages should not have meta signs
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_indexes.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_html_indexes.sh b/bin/reproducible_html_indexes.sh index 176077c5..2a44446a 100755 --- a/bin/reproducible_html_indexes.sh +++ b/bin/reproducible_html_indexes.sh @@ -159,7 +159,9 @@ for STATE in $ALLSTATES ; do link_packages ${PACKAGES} write_page "</code></p>" write_page - write_page_meta_sign + if [ $COUNT -ne 0 ] ; then + write_page_meta_sign + fi write_page_footer publish_page done |