diff options
author | Jim Meyering <jim@meyering.net> | 2002-08-09 22:13:49 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2002-08-09 22:13:49 +0000 |
commit | f12b040a86237590002fb58aefb13bbff5d4603b (patch) | |
tree | d39d6fa0e199a15423d7ea79b08dbfed39cf67a0 /man/Makefile.in | |
parent | b2ad2ca79504be4379882596d1b1cc2be9c844e8 (diff) | |
download | coreutils-f12b040a86237590002fb58aefb13bbff5d4603b.tar.xz |
.
Diffstat (limited to 'man/Makefile.in')
-rw-r--r-- | man/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index a30009e7c..cb4fa2f57 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -463,6 +463,7 @@ check-local: check-x-vs-1 # corresponding .1 file in the definition of $(dist_man_MANS) above. .PHONY: check-x-vs-1 check-x-vs-1: + PATH=../src:$$PATH; export PATH; \ t=ls-files.$$$$; \ (cd $(srcdir) && ls -1 *.x) | sed 's/\.x$$//' | sort > $$t; \ echo $(dist_man_MANS) | fmt -w1 | sed 's/\.1$$//' | sort -u \ |