diff options
| author | Jim Meyering <jim@meyering.net> | 2003-02-02 21:48:00 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2003-02-02 21:48:00 +0000 |
| commit | c0e51beb6123dcc2ce1b988e2906c2661aeba5b6 (patch) | |
| tree | f9b8fb89c517868a4878d0c70e333119af8a2f61 /man | |
| parent | c7366d9a4b74d2103a5c738f2d91da5dd3875cbd (diff) | |
| download | coreutils-c0e51beb6123dcc2ce1b988e2906c2661aeba5b6.tar.xz | |
.
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 6a31c2ed8..bd176e828 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -476,7 +476,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; \ + PATH=../src@PATH_SEPARATOR@$$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 \ |