blob: f10fdff82de33dc89ae4c0a0966abfb44d99215d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
DATABASE_DIR=/var/lib/hoogle/databases
HOOGLE=/usr/bin/hoogle
# cleanup
rm -rf $DATABASE_DIR/*
# convert
echo -n "Converting databases..."
TXTFILES_SYM=`find /usr/lib/ghc-doc/hoogle/ -name "*.txt"`
LOCALS=""
for i in $TXTFILES_SYM; do
TXTFILE=$(readlink -f $i)
if [ -r "$TXTFILE" ]; then
LOCALS="$LOCALS --local=$(dirname $TXTFILE)"
fi
done
$HOOGLE generate --database=$DATABASE_DIR/default.hoo $LOCALS > /dev/null 2>&1
echo " done"
|
