From a26d0bede7fb1c9f09df262a8342a4db3744aef9 Mon Sep 17 00:00:00 2001 From: Mattia Rizzolo Date: Tue, 28 Apr 2015 23:11:27 +0200 Subject: reproducible: common.sh: remove set_package_class(), now unused --- bin/reproducible_common.sh | 8 -------- 1 file changed, 8 deletions(-) diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 40608f39..4ab5c676 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -250,14 +250,6 @@ publish_page() { echo "Enjoy $REPRODUCIBLE_URL/$TARGET" } -set_package_class() { - if [ -f ${NOTES_PATH}/${PKG}_note.html ] ; then - CLASS="class=\"noted\"" - else - CLASS="class=\"package\"" - fi -} - link_packages() { for (( i=1; i<$#+1; i=i+400 )) ; do local string='[' -- cgit v1.2.3-54-g00ecf