-
Matthieu Muffato authored
The advantage is that sphinx now has the same behaviour as "make" regarding the schema definition files, i.e. it only rebuilds the doc if they change. There are no more files lying around.
2f41652f
The advantage is that sphinx now has the same behaviour as "make" regarding the schema definition files, i.e. it only rebuilds the doc if they change. There are no more files lying around.