diff options
Diffstat (limited to 'doc/reference/shell')
| -rw-r--r-- | doc/reference/shell/.gitignore | 15 | ||||
| -rw-r--r-- | doc/reference/shell/Makefile.am | 1 |
2 files changed, 1 insertions, 15 deletions
diff --git a/doc/reference/shell/.gitignore b/doc/reference/shell/.gitignore deleted file mode 100644 index 45c18bb715..0000000000 --- a/doc/reference/shell/.gitignore +++ /dev/null @@ -1,15 +0,0 @@ -*-decl-list.txt -*-decl.txt -*-unused.txt -*-undocumented.txt -*-undeclared.txt -*.args -*.hierarchy -*.interfaces -*.prerequisites -*.signals -*.stamp -html -xml -*.bak -version.xml diff --git a/doc/reference/shell/Makefile.am b/doc/reference/shell/Makefile.am index 0084a0f7c2..d47b1c67cf 100644 --- a/doc/reference/shell/Makefile.am +++ b/doc/reference/shell/Makefile.am @@ -149,3 +149,4 @@ EXTRA_DIST += # Comment this out if you want your docs-status tested during 'make check' #TESTS = $(GTKDOC_CHECK) +-include $(top_srcdir)/git.mk |