diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index dccd61b..a9c4658 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -197,6 +197,8 @@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ +ENABLE_SHARED = @ENABLE_SHARED@ +ENABLE_STATIC = @ENABLE_STATIC@ EXEEXT = @EXEEXT@ FGREP = @FGREP@ FIND = @FIND@ |