#!/bin/sh # Build zipfile distribution of gtkhtml for Win32. Separate runtime # and developer zipfiles. Run after make install. ZIP=/tmp/gtkhtml-@VERSION@.zip DEVZIP=/tmp/gtkhtml-dev-@VERSION@.zip cd @prefix@ rm $ZIP current_minus_age=`expr @GTKHTML_CURRENT@ - @GTKHTML_AGE@` zip -r $ZIP -@ <