diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-30 09:21:55 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-06-30 09:21:55 +0100 |
| commit | f5b622ed48fdbe235d81b61b3edd8dbb84d9cc9c (patch) | |
| tree | 24b7f924f22cd6e5f463ab88c95e6d185d81c5d2 /doc/makefile | |
| parent | 6f747894998e10649d0237fe5f7b9b85a5266f1f (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 |