Re #7469: sphinx-build with flag -W -E --keep-going
commit067bb430e50c956fc1c605ceb5ec3f970d3e7218
authorAndreas Abel <andreas.abel@ifi.lmu.de>
Tue, 31 Aug 2021 14:54:20 +0000 (31 16:54 +0200)
committerMikolaj Konarski <mikolaj.konarski@gmail.com>
Thu, 2 Sep 2021 08:36:11 +0000 (2 10:36 +0200)
tree6be047ddad12546dbe4786b53e2f14cdbf46d356
parent9f8b6d1c9cd4b59e1b0c3ce7bd2e3b5c87ac319d
Re #7469: sphinx-build with flag -W -E --keep-going

Strict regime: turn warnings to errors (-W), rebuild from scratch (-E).
Makefile