diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -7042,7 +7042,8 @@ ac_given_INSTALL="$INSTALL" trap 'rm -fr `echo "src/libhdf5.settings config/depend config/commence config/conclude \ Makefile src/Makefile pablo/Makefile test/Makefile \ - testpar/Makefile tools/Makefile examples/Makefile src/H5config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 + testpar/Makefile tools/Makefile examples/Makefile \ + doc/Makefile doc/html/Makefile doc/html/Tutor/Makefile src/H5config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15 EOF cat >> $CONFIG_STATUS <<EOF @@ -7164,7 +7165,8 @@ cat >> $CONFIG_STATUS <<EOF CONFIG_FILES=\${CONFIG_FILES-"src/libhdf5.settings config/depend config/commence config/conclude \ Makefile src/Makefile pablo/Makefile test/Makefile \ - testpar/Makefile tools/Makefile examples/Makefile"} + testpar/Makefile tools/Makefile examples/Makefile \ + doc/Makefile doc/html/Makefile doc/html/Tutor/Makefile"} EOF cat >> $CONFIG_STATUS <<\EOF for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then |