80d21d
Revert "Simplify the build-docs target" This reverts commit 01be4862923cef936acb3e6b599295028b6e16ec.