From 3d8fc42d32bd9b14a21e9a4aa521db14ba58075e Mon Sep 17 00:00:00 2001 From: Andrei Pavel Date: Fri, 23 Dec 2016 19:04:06 +0200 Subject: [PATCH] minor changes --- .gitignore | 1 - doc/guide/Makefile.am | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 01711bbe70..4594d7c40c 100644 --- a/.gitignore +++ b/.gitignore @@ -4,7 +4,6 @@ *.la *.lo *.o -*.dirstamp .deps/ .libs/ __pycache__/ diff --git a/doc/guide/Makefile.am b/doc/guide/Makefile.am index db750fe52e..84e7613186 100644 --- a/doc/guide/Makefile.am +++ b/doc/guide/Makefile.am @@ -49,7 +49,7 @@ $(HTMLDOCS) $(DOCS): @echo Doc generation disabled. Creating dummy $@. Configure with --enable-generate-docs to enable it. @echo Doc generation disabled. Remove this file, configure with --enable-generate-docs, and rebuild Kea > $@ -endif +endif if HAVE_DBLATEX -- 2.47.2