| commit | 290afb3886c91fe9105771d49059d1c0711d3f30 | |
| author | Paul Bauer <paul.bauer.q@gmail.com> | |
| Sun, 24 Feb 2019 06:44:49 +0000 (24 07:44 +0100) | ||
| committer | Christian Blau <cblau@gwdg.de> | |
| Wed, 6 Mar 2019 08:32:41 +0000 (6 09:32 +0100) | ||
| tree | a7954213741a86ff0e4fd5bbb458ff8101065b74 | treesnapshot (tar.gz zip) |
| parent | b7afddb834f778d5c3a7c3bc4f7daa8453999fb2 | commitdiff |
Add error when manual cannot be built
Added error message informing the user why a manual build is not
possible if Sphinx is not installed.
Change-Id: I74765960ea5f5f642771e75ac349cf2b55d360a9
Added error message informing the user why a manual build is not
possible if Sphinx is not installed.
Change-Id: I74765960ea5f5f642771e75ac349cf2b55d360a9
| docs/CMakeLists.txt | diffblobblamehistory |