diff options
author | Colin Watson <cjwatson@debian.org> | 2007-10-14 00:08:43 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2007-10-14 00:08:43 +0100 |
commit | fb554566ecf4e9ea2c075a8dbb48777dafd56de5 (patch) | |
tree | f31ece9dbbad77569382f6245e8c29d57a9898f4 /manual | |
parent | bbe63d5ec6263e1a4fba9ffd359a8f8bd81c77a6 (diff) |
ensure we use the system fnmatch/getopt/glob if available
Diffstat (limited to 'manual')
-rw-r--r-- | manual/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/Makefile.in b/manual/Makefile.in index f9485f68..6cde457c 100644 --- a/manual/Makefile.in +++ b/manual/Makefile.in @@ -93,9 +93,12 @@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ +FNMATCH_H = @FNMATCH_H@ GENCAT = @GENCAT@ +GETOPT_H = @GETOPT_H@ GLIBC2 = @GLIBC2@ GLIBC21 = @GLIBC21@ +GLOB_H = @GLOB_H@ GMSGFMT = @GMSGFMT@ GMSGFMT_015 = @GMSGFMT_015@ GREP = @GREP@ |