1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
# Add the node entry
grep -v sublib /usr/lib/monodoc/monodoc.xml \
| sed 's@ <node label="Various" name="various">@ <node label="Various" name="various">\n <node label="SubLib" name="sublib"/>@' \
> /usr/lib/monodoc/monodoc.xml.new
mv /usr/lib/monodoc/monodoc.xml.new \
/usr/lib/monodoc/monodoc.xml
# Rebuild the index
if which monodoc >/dev/null 2>&1; then
echo "generating monodoc search index..."
monodoc --make-index > /dev/null
fi
fi
#DEBHELPER#
|
