diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 2c7c578..8ddba1f 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -103,7 +103,6 @@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ -FFI_EXEC_TRAMPOLINE_TABLE = @FFI_EXEC_TRAMPOLINE_TABLE@ FGREP = @FGREP@ GREP = @GREP@ HAVE_LONG_DOUBLE = @HAVE_LONG_DOUBLE@ @@ -191,7 +190,6 @@ psdir = @psdir@ sbindir = @sbindir@ sharedstatedir = @sharedstatedir@ srcdir = @srcdir@ -sys_symbol_underscore = @sys_symbol_underscore@ sysconfdir = @sysconfdir@ target = @target@ target_alias = @target_alias@ |