-
Type: Bug
-
Resolution: Won't Fix
-
Priority: Major
-
Affects Version/s: master
-
Component/s: Build Infrastructure
-
None
The RPM builds to not regenerate the documentation, but the Debian builds do. I assume that is because Debian forces a clean build. If there is anything we can do to change that it would probably reduce our build times.