diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 8 |
1 files changed, 0 insertions, 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='[' |