+gzip -c $WXDEST/wxWidgets-${WXVER}.tar > $WXDEST/wxWidgets-${WXVER}.tar.gz
+bzip2 $WXDEST/wxWidgets-${WXVER}.tar
+}
+
+domakedocs()
+{
+ mkdir -p $WXSRC/docs/html/wx
+ mkdir -p $WXSRC/docs/html/tex2rtf
+ mkdir -p $WXSRC/docs/html/fl
+ mkdir -p $WXSRC/docs/html/ogl
+ mkdir -p $WXSRC/docs/htb
+
+ rm -f -r $WXSRC/docs/html/wx/*.htm*
+ rm -f -r $WXSRC/docs/htb/wx.htb
+
+ echo Making HTML wxWidgets manual...
+ cd $WXSRC/docs/latex/wx
+ cp *.gif $WXSRC/docs/html/wx
+ tex2rtf manual.tex $WXSRC/docs/html/wx/wx.htm -twice -html
+
+ echo Making HTB wxWidgets manual...
+ cd $WXSRC/docs/html/wx
+ zip -q $WXSRC/docs/htb/wx.htb *.html *.gif *.hhp *.hhc *.hhk
+
+ echo Done making manuals.