diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-19 18:54:23 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-19 18:54:23 +0200 |
| commit | fa17ad763ec4c001a5d1858832e473a3b0ead0fd (patch) | |
| tree | bd1efde7e460125b99fe7c54f24f12b3dce83b68 /doc | |
| parent | deb2fe660265860073c5180a5e31c0375cd0d1f1 (diff) | |
| parent | e13c76601a232b24c99a452d8f3403f87f069c22 (diff) | |
| download | egawk-fa17ad763ec4c001a5d1858832e473a3b0ead0fd.tar.gz egawk-fa17ad763ec4c001a5d1858832e473a3b0ead0fd.tar.bz2 egawk-fa17ad763ec4c001a5d1858832e473a3b0ead0fd.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index d89beffd..a17000bc 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.13.4 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. @@ -276,6 +276,7 @@ PACKAGE_URL = @PACKAGE_URL@ PACKAGE_VERSION = @PACKAGE_VERSION@ PATH_SEPARATOR = @PATH_SEPARATOR@ POSUB = @POSUB@ +SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SOCKET_LIBS = @SOCKET_LIBS@ @@ -451,13 +452,9 @@ $(am__aclocal_m4_deps): $(AM_V_at)if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \ -o $(@:.html=.htp) $<; \ then \ - rm -rf $@; \ - if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \ - mv $(@:.html=) $@; else mv $(@:.html=.htp) $@; fi; \ + rm -rf $@ && mv $(@:.html=.htp) $@; \ else \ - if test ! -d $(@:.html=.htp) && test -d $(@:.html=); then \ - rm -rf $(@:.html=); else rm -Rf $(@:.html=.htp) $@; fi; \ - exit 1; \ + rm -rf $(@:.html=.htp); exit 1; \ fi $(srcdir)/gawk.info: gawk.texi gawk.dvi: gawk.texi |