diff options
| author |  Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com> | 2013-02-19 22:46:49 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2013-02-19 15:16:41 -0800 |
| commit | 806f4f87e043384c62b8d119fd2ae45ba7e31715 (patch) | |
| tree | a697535cef31128d2f0e4d1ce35210ea160c845a /Documentation/user-manual.txt | |
| parent | bd9503d7c284d80478a79094da4b914bde2e84e1 (diff) | |
| download | subsurface-806f4f87e043384c62b8d119fd2ae45ba7e31715.tar.gz | |
Makefile quorks :( Yes we want a 'doc' target for itself...
...to avoid generating the HTMLDOC target even if it needs not to.
Signed-off-by: Cristian Ionescu-Idbohrn <cristian.ionescu-idbohrn@axis.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions