diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 9191107d2..da6010087 100644 --- a/Makefile.am +++ b/Makefile.am | |||
@@ -73,3 +73,6 @@ if HAVE_AWK | |||
73 | check-texinfo: | 73 | check-texinfo: |
74 | @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true | 74 | @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true |
75 | endif | 75 | endif |
76 | |||
77 | gana: | ||
78 | @cd $(top_srcdir)/contrib/gana/gnu-name-system-record-types; make; cp gnu_name_system_record_types.h ../../../src/include/ | ||