#!/bin/sh
# Used to update the documentation index for KDevelop

if [ -e "/var/lib/kdevelop3/helpindex/global_doc_index_enabled" -a \
      -f "/usr/share/kdevelop3/update_doc_index.sh" ]; then
  /usr/share/kdevelop3/update_doc_index.sh > /dev/null 2>&1
fi

