diff options
Diffstat (limited to 'Build/source/utils/chktex/Makefile.am')
-rw-r--r-- | Build/source/utils/chktex/Makefile.am | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Build/source/utils/chktex/Makefile.am b/Build/source/utils/chktex/Makefile.am index 6a5727d8f3a..ce5efdb938e 100644 --- a/Build/source/utils/chktex/Makefile.am +++ b/Build/source/utils/chktex/Makefile.am @@ -48,3 +48,22 @@ dist_man_MANS = \ $(CHKTEX_TREE)/chkweb.1 \ $(CHKTEX_TREE)/deweb.1 +# resource file +configdir = ${prefix}/texmf/chktex + +config_DATA = $(CHKTEX_TREE)/chktexrc + +# documentation +pdfdocdir = ${prefix}/texmf/doc/chktex + +pdfdoc_DATA = + +# chktex tests +TESTS = chktex.test + +TESTS_ENVIRONMENT = CHKTEX_TREE=$(CHKTEX_TREE) + +EXTRA_DIST += chktex.test + +CLEANFILES = chktest + |