diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2005-11-15 19:59:05 +0000 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2005-11-15 19:59:05 +0000 |
| commit | 7e28921d2c29e5208eabae54f7512ac05178b6bd (patch) | |
| tree | 8231da420dfcbb7eb1cff30a175b38fccb1251fe /config.make.in | |
| parent | ba5e7d47d73c9aa789d93649979552afc860bb9a (diff) | |
(depth): Explain why absolute directory is
used and do not call it a path.
(FLEXLEXER_FILE): Rename from FLEXLEXER_PATH and add file name.
Diffstat (limited to 'config.make.in')
| -rw-r--r-- | config.make.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.make.in b/config.make.in index cfcd865fa1..c0d756fb0d 100644 --- a/config.make.in +++ b/config.make.in @@ -91,7 +91,7 @@ DEFS = @DEFS@ DOTEXE = @DOTEXE@ FIND = @FIND@ FLEX = @FLEX@ -FLEXLEXER_PATH = @FLEXLEXER_PATH@ +FLEXLEXER_FILE = @FLEXLEXER_FILE@ FONTFORGE = @FONTFORGE@ GROFF = @GROFF@ GUILE = @GUILE@ |