diff options
| author | Akim Demaille <demaille@gostai.com> | 2009-07-01 12:23:08 +0200 |
|---|---|---|
| committer | Akim Demaille <demaille@gostai.com> | 2009-07-01 12:24:18 +0200 |
| commit | a2aa5dcb8d8348d28e7ea0b252bf38f375c6d087 (patch) | |
| tree | 69fe544a72fdbf3355d65ba4b88e3fb8ed0a9451 | |
| parent | ceed3d99d74441bbdc98fbcbe892d6a677dd59e0 (diff) | |
| download | bison-a2aa5dcb8d8348d28e7ea0b252bf38f375c6d087.tar.gz | |
build: fix generation of man pages.
* doc/local.mk (.x.1): Fix $ uses.
| -rw-r--r-- | doc/local.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/local.mk b/doc/local.mk index cb7d00d1..bbba872c 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -65,7 +65,7 @@ MAINTAINERCLEANFILES += $(dist_man_MANS) # Depend on configure to get version number changes. common_dep = $(top_srcdir)/configure $(top_srcdir)/doc/common.x -$(top_srcdir)/doc/bison.1: $(common_dep) $(top_srcdir)/src/getargs.c +$(top_srcdir)/doc/bison.1: $(common_dep) $(top_srcdir)/src/getargs.c # Differences to ignore when comparing the man page (the date). remove_time_stamp = \ @@ -78,10 +78,10 @@ SUFFIXES = .x .1 PREPATH = src .x.1: @program=`expr "/$*" : '.*/\(.*\)'` && \ - save_IFS=$IFS; \ + save_IFS=$$IFS; \ IFS=$(PATH_SEPARATOR); \ for dir in $(PREPATH); do \ - IFS=$save_IFS; \ + IFS=$$save_IFS; \ echo $(MAKE) $(AM_MAKEFLAGS) $$dir/$$program; \ $(MAKE) $(AM_MAKEFLAGS) $$dir/$$program || exit; \ done |