diff options
author | Victor Toso <me@victortoso.com> | 2016-10-20 15:50:48 +0200 |
---|---|---|
committer | Victor Toso <me@victortoso.com> | 2016-10-27 18:05:12 +0200 |
commit | 215b7571d413526ee7b4f1c461d1df190ceb4b04 (patch) | |
tree | dea983bde8c3b398b9da6ef9901f8e05845b2f4f /docs | |
parent | e5a03766ec36ade3a1b6ea4711c3939fbebdb89b (diff) |
Fix gitignore with new docs folder
The generated spice_protocol.html file and the Makefile were not
included in gitignore. This patch fixes it.
Signed-off-by: Victor Toso <victortoso@redhat.com>
Signed-off-by: Christophe Fergeau <cfergeau@redhat.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 0b09b82..aa7c715 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -13,5 +13,6 @@ spice_protocol.html: spice_protocol.txt $(AM_V_GEN) $(ASCIIDOC) -n $(ASCIIDOC_FLAGS) -o $@ $< endif -clean-local: - rm -f spice_protocol.html +CLEANFILES = spice_protocol.html + +-include $(top_srcdir)/git.mk |