diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-30 09:27:24 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-30 09:27:24 +0100 |
| commit | 3b9d1d95b115b3377965abb06ccde835d9796534 (patch) | |
| tree | 0a1f074636101cc90e410d01b694ac22f02a9875 /doc/makefile | |
| parent | a0106c589dff533a7d982baa8fc62b843ea56253 (diff) | |
| parent | 8d0303273495fc478ae62570ecf1675942cfbc41 (diff) | |
merged from debian-sid
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 |