diff options
author | paul <paul@7b491191-dbf0-0310-aff6-d879d4d69008> | 2005-01-14 15:37:44 +0000 |
---|---|---|
committer | paul <paul@7b491191-dbf0-0310-aff6-d879d4d69008> | 2005-01-14 15:37:44 +0000 |
commit | fc71ffa8635f49888528d0bab4b06c3c3cbee777 (patch) | |
tree | 74fd1446ed91cbd6bbb23b970a50529cbd1c22ea /man | |
parent | e78b57a4ee688dd22579186eb7a84e8e0c08763a (diff) |
search speedup, dead-wood removal, out-of-sync fix, sigpipe fix
git-svn-id: https://svn.ic-s.nl/svn/dbmail/trunk/dbmail@1562 7b491191-dbf0-0310-aff6-d879d4d69008
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 60459e04..e0372d2e 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -81,6 +81,8 @@ AS = @AS@ AUTHALIB = @AUTHALIB@ AUTHLTLIB = @AUTHLTLIB@ CC = @CC@ +CHECK_CFLAGS = @CHECK_CFLAGS@ +CHECK_LIBS = @CHECK_LIBS@ CXX = @CXX@ CXXCPP = @CXXCPP@ DLLTOOL = @DLLTOOL@ |