diff options
Diffstat (limited to 'man/man1/Makefile.in')
| -rw-r--r-- | man/man1/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/man1/Makefile.in b/man/man1/Makefile.in index de7bbe8f..c8dcdaf4 100644 --- a/man/man1/Makefile.in +++ b/man/man1/Makefile.in @@ -90,6 +90,7 @@ LTLIBOBJS = @LTLIBOBJS@ MAINT = @MAINT@ MAKEINFO = @MAKEINFO@ MKDIR_P = @MKDIR_P@ +MUTEX_SETTING = @MUTEX_SETTING@ OBJEXT = @OBJEXT@ PACKAGE = @PACKAGE@ PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ |