Change Details

The sphinx-dev build is a pain to maintain. Diff should be built to catch errors immediately. Incidentally, the doc maintenance becomes a shared effort. Related to T3648

The sphinx-dev build is a pain to maintain. Diff should be built to catch errors immediately. Incidentally, the doc maintenance becomes a shared effort and no longer a pain to keep it green after events. Related to T3648

The sphinx-dev build is a pain to maintain. Diff should be built to catch errors immediately. Incidentally, the doc maintenance becomes a shared effort and no longer a pain to keep it green after events. Related to T3648