summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2003-04-05 18:04:06 +0000
committerJim Meyering <jim@meyering.net>2003-04-05 18:04:06 +0000
commit0622704dce606dad3d3092909ad4b01ecf5f28db (patch)
tree75e2ee89e03d69149a5309f05b3fe75d8e13df25 /man
parent4cfe78b8a0d3a607c0408cf6b82bb82d23224a92 (diff)
downloadcoreutils-0622704dce606dad3d3092909ad4b01ecf5f28db.tar.xz
.
Diffstat (limited to 'man')
-rw-r--r--man/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile.in b/man/Makefile.in
index c59a09f03..8c031e2d5 100644
--- a/man/Makefile.in
+++ b/man/Makefile.in
@@ -479,7 +479,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_SEPARATOR@$$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 \