distdir/pre-dist-toolkit

   1 #!/bin/sh
   2
   3 distribution=$1
   4 dist_version=$2
   5 package=$3
   6 distdir=$4
   7
   8 ./configure
   9
  10 cd doc
  11 make dist-hook
  12 rm -rf toolkit
  13 make toolkit-ref-html
  14 cp ../lib/doc/*.gif toolkit
  15 cd ..
  16