factored out the doc up to date check, plus use recollindex -e -i for updating
Authored by: Jean-Francois Dockes 2014-05-01
Parent(s): [ed7a97]
Child(ren): [70e2e4]
