diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2013-10-11 09:31:58 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2013-10-11 09:31:58 -0700 |
commit | dee7bdd1ad8e9f98fd3089c0edbe9accdb01aac5 (patch) | |
tree | 08d8773b97f13304b40a262e552be3542a39ceb8 /qt-gui.h | |
parent | 66c04092d26a9513a03265beade5f6713c065be2 (diff) | |
download | subsurface-dee7bdd1ad8e9f98fd3089c0edbe9accdb01aac5.tar.gz |
Fix bug in Documentation make invocation
Without the trailing slash the Makefile in Documentation would create the wrong
target name (with run-together path / filename) and therefore would always
recompile the documentation.
And we don't need to check that the Documentation directory exists - it's part
of our sources...
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'qt-gui.h')
0 files changed, 0 insertions, 0 deletions