equal
deleted
inserted
replaced
74 s/{PACKED_SIZE_PDF}/$PACKED_SIZE_PDF/g;" \ |
74 s/{PACKED_SIZE_PDF}/$PACKED_SIZE_PDF/g;" \ |
75 *.html |
75 *.html |
76 fi |
76 fi |
77 |
77 |
78 if [ $# -eq 0 -o "$1" = "-rpm" ]; then |
78 if [ $# -eq 0 -o "$1" = "-rpm" ]; then |
79 RPM_SML_SIZE=$[ $(wc -c < rpm/smlnj-base-110.0.6-0.i386.rpm) / 1024 ] |
79 RPM_SML_SIZE=$[ $(wc -c < rpm/smlnj-110.0-3.i386.rpm) / 1024 ] |
80 RPM_BASE_SIZE=$[ $(wc -c < rpm/isabelle.rpm) / 1024 ] |
80 RPM_BASE_SIZE=$[ $(wc -c < rpm/isabelle.rpm) / 1024 ] |
81 RPM_HOL_SIZE=$[ $(wc -c < rpm/isabelle-HOL.i386.rpm) / 1024 ] |
81 RPM_HOL_SIZE=$[ $(wc -c < rpm/isabelle-HOL.i386.rpm) / 1024 ] |
82 RPM_REAL_SIZE=$[ $(wc -c < rpm/isabelle-HOL-Real.i386.rpm) / 1024 ] |
82 RPM_REAL_SIZE=$[ $(wc -c < rpm/isabelle-HOL-Real.i386.rpm) / 1024 ] |
83 RPM_ZF_SIZE=$[ $(wc -c < rpm/isabelle-ZF.i386.rpm) / 1024 ] |
83 RPM_ZF_SIZE=$[ $(wc -c < rpm/isabelle-ZF.i386.rpm) / 1024 ] |
84 RPM_DOCS_SIZE=$[ $(wc -c < rpm/isabelle-pdfdocs.rpm) / 1024 ] |
84 RPM_DOCS_SIZE=$[ $(wc -c < rpm/isabelle-pdfdocs.rpm) / 1024 ] |