diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-06-29 16:38:49 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-06-29 16:38:49 +0200 |
| commit | bd0fc582449b86f74be582e3407e09334ba9e71d (patch) | |
| tree | 647f6b2edf8c4498d15bcc6c49bb773ff2c6613b /doc | |
| parent | a9d2fdce1f1d5b4b428c215189a5b204ff91108b (diff) | |
* doc/makefile:
- create doxygen directory to avoid depending on magic (Closes: #628799)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile index 8a889c94c..4fcf3bd10 100644 --- a/doc/makefile +++ b/doc/makefile @@ -101,6 +101,7 @@ $(BUILD)/doc/Doxyfile: Doxyfile.in $(BUILD)/doc/doxygen-stamp: $(DOXYGEN_SOURCES) $(BUILD)/doc/Doxyfile rm -fr $(BUILD)/doc/doxygen + mkdir $(BUILD)/doc/doxygen # some versions seem to not create this directory #628799 $(DOXYGEN) $(BUILD)/doc/Doxyfile touch $(BUILD)/doc/doxygen-stamp |