Packaging: Change directory for docs #5957
authorChristian Kamm <mail@ckamm.de>
Fri, 22 Sep 2017 08:25:51 +0000 (10:25 +0200)
committerRoeland Jago Douma <roeland@famdouma.nl>
Thu, 5 Oct 2017 20:01:37 +0000 (22:01 +0200)
commit08bc21937b37ac615bb9b3089de0f1bae6203002
tree6d918efa1fb8fbcd16f7388abfa7c757ad773151
parentf64519bfbd601d1cfbf733c1d267ec05e6da7c8e
Packaging: Change directory for docs #5957

Extracted and adjusted from packaging.diff by @jnweiger and @dschmidt
doc/CMakeLists.txt