3 # Build zipfile distribution of gtkhtml for Win32. Separate runtime
4 # and developer zipfiles. Run after make install.
6 ZIP
=/tmp
/gtkhtml-@VERSION@.
zip
7 DEVZIP
=/tmp
/gtkhtml-dev-@VERSION@.
zip
12 current_minus_age
=`expr @GTKHTML_CURRENT@ - @GTKHTML_AGE@`
15 bin/libgtkhtml-@GTKHTML_API_VERSION@-$current_minus_age.dll
16 bin/libgtkhtml-editor-0.dll
17 share/gtkhtml-@GTKHTML_API_VERSION@
20 zip $ZIP share
/locale
/*/LC_MESSAGES
/gtkhtml-@GTKHTML_API_VERSION@.mo
23 zip -r $DEVZIP -@
<<EOF
24 lib/libgtkhtml-@GTKHTML_API_VERSION@.dll.a
25 lib/libgtkhtml-editor.dll.a
27 include/libgtkhtml-@GTKHTML_API_VERSION@