summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_common.sh8
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='['