diff options
Diffstat (limited to 'lib/am/texibuild.am')
-rw-r--r-- | lib/am/texibuild.am | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/lib/am/texibuild.am b/lib/am/texibuild.am index 3256fdea5..a59d443ed 100644 --- a/lib/am/texibuild.am +++ b/lib/am/texibuild.am @@ -110,15 +110,9 @@ INFO_DEPS += %DEST_INFO_PREFIX%%DEST_SUFFIX% ?GENERIC? -o $(@:.html=.htp) %SOURCE%; \ ?!GENERIC? -o $(@:.html=.htp) `test -f '%SOURCE%' || echo '$(srcdir)/'`%SOURCE%; \ then \ - rm -rf $@; \ -## Work around a bug in Texinfo 4.1 (-o foo.html outputs files in foo/ -## instead of foo.html/). - 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 ## If we are using the generic rules, we need separate dependencies. |