Not really.

I have a rule that any commit which changes the implementation has to include the documentation update at the same time.

Most of these documentation updates are a sentence or two, or maybe a paragraph. The overhead of incremental documentation updates like that is tiny enough that I don't really think about assigning extra time for them.