docbook-manual-repo.py: only build when docbook source has changed

Restrict git log parsing to 'docbook' directory when retrieving last
commit timestamp to determine if we need to build the manuals. This
avoids unnecessarily running the build process.