diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-07-10 12:16:13 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-07-10 12:16:13 +0200 |
| commit | dd5e47ff5069e3859bd76d5fc8f6887121710556 (patch) | |
| tree | 8f7c639fd8bb891b4b49da544be1fd3dcd368e95 /doc/makefile | |
| parent | 30fd3c9f07a4222e55c6d776b2937c2697a79254 (diff) | |
| parent | cec8c646c79e40d928464b08a6f2e3ea62bb1611 (diff) | |
merge with debian-experimental
Diffstat (limited to 'doc/makefile')
| -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 |