diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-07-14 11:20:28 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-07-14 11:20:28 +0200 |
| commit | cf4904e1e0019fc09b9c53b587f5f4361ed26ec7 (patch) | |
| tree | bb8336111e2088af8fd856861fa3c8f6ffba206c /doc/makefile | |
| parent | 953b348cb02fcdccb597b6988f904bfdb696e92e (diff) | |
| parent | 89c4c588b275d098af33f36eeddea6fd75068342 (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 |