#!/bin/bash -x

djvulibredir=..

tmpdir=./tmp$$

book=djvulibre-book-en.djvu

mkdir $tmpdir

trap "rm -rf $tmpdir" 0

## collect man pages

nnn=1

addpage()

{

  nn=$(printf "%03d" $nnn)

  man -t $1 > $tmpdir/$nn-$1.ps

  nnn=$(($nnn + 1))

}

## add man pages

addpage djvu

addpage djview

addpage nsdejavu

for f in $djvulibredir/tools/*.1 

do

  b=$(basename $f .1)

  [ $b == djvu ] || addpage $b

done

addpage djvutoxml

addpage djvuxml

## call djvudigital

cat $tmpdir/0*.ps > $tmpdir/book.ps

djvudigital --dpi=400 --words $tmpdir/book.ps $book

## prepare outline

echo "(bookmarks" > $tmpdir/outline.txt

p=1

for f in $tmpdir/0*.ps

do

   b=$(basename $f .ps | sed -e 's/^[-0-9]*//')

   c=$(grep '^%%Page:' $f | wc -l)

   echo '  ("'"$b"'" "#'"$p"'")' >> $tmpdir/outline.txt

   p=$(($p + $c))

done

echo ")" >> $tmpdir/outline.txt

## plug outline

djvused $book -e "set-outline $tmpdir/outline.txt" -s