diff options
| author | David Bremner <david@tethera.net> | 2014-04-22 14:40:56 +0900 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2014-04-22 14:40:56 +0900 |
| commit | 40dc79d6ac828bc24ae1ec797aa50e53fc455621 (patch) | |
| tree | 6ecf51ce1da22c1d8c0014b6a1d561d53156b41b /doc | |
| parent | 827a69f639b91de2503c7dfc0bdd74b6e17f501d (diff) | |
| parent | 95aa988a06496027300f09d9db863a5cd89b201c (diff) | |
Merge tag '0.18_rc0'
notmuch 0.18~rc0 release
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index d4207972..bbd46100 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -78,4 +78,4 @@ $(dir)/docdeps.mk: $(dir)/conf.py $(dir)/mkdocdeps.py $(mkdocdeps) $(srcdir)/doc $(DOCBUILDDIR) $@ CLEAN := $(CLEAN) $(DOCBUILDDIR) $(dir)/docdeps.mk $(DOCBUILDDIR)/.roff.stamp -CLEAN := $(CLEAN) $(MAN_GZIP_FILES) $(MAN_ROFF_FILES) +CLEAN := $(CLEAN) $(MAN_GZIP_FILES) $(MAN_ROFF_FILES) $(dir)/conf.pyc |