Change: docgen to not change output needlessly
If the output file wouldn't change, then don't update it.
This is imperfect, since it still needs to produce the output file, so it can spend a bit of processing power to make no changes. But the alternative would be to make needless changes.
Closes: #26 (closed)
Edited by Lars Wirzenius