diff options
Diffstat (limited to 'Build/source/Makefile.am')
| -rw-r--r-- | Build/source/Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/Makefile.am b/Build/source/Makefile.am index e328bf1dab6..80fa39e3a3f 100644 --- a/Build/source/Makefile.am +++ b/Build/source/Makefile.am @@ -7,6 +7,10 @@ ## ACLOCAL_AMFLAGS = -I m4 --force +## The info files +info_TEXINFOS = doc/texlive.texi +doc_texlive_TEXINFOS = doc/build.texi doc/build-tools + ## speed up distcheck AM_DISTCHECK_CONFIGURE_FLAGS = -C ## check as well for symlinks @@ -73,6 +77,11 @@ endif !cross skip: .PHONY: skip +# Directly run texlinks. +.PHONY: texlinks +texlinks: + cd $(texlinks_dir) && $(MAKE) $(AM_MAKEFLAGS) run-texlinks + # Special target to run TRIP and TRAP tests and create diffs. .PHONY: triptrap triptrap: |