diff options
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,6 @@ #! /bin/sh -# From configure.in Revision: 1.25 +# From configure.in Revision: 1.27 # Guess values for system-dependent variables and create Makefiles. # Generated automatically using autoconf version 2.13 @@ -1941,6 +1941,7 @@ trap 'rm -fr `echo "\ fml/bin/fmldoc \ fml/bin/fmlhtmlify \ fml/bin/fmlsch \ + fml/bin/fmlsummary \ fml/bin/fmlthread \ fml/bin/fmlspool \ fml/bin/makefml \ @@ -2069,6 +2070,7 @@ CONFIG_FILES=\${CONFIG_FILES-"\ fml/bin/fmldoc \ fml/bin/fmlhtmlify \ fml/bin/fmlsch \ + fml/bin/fmlsummary \ fml/bin/fmlthread \ fml/bin/fmlspool \ fml/bin/makefml \ |