diff options
author | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-01-20 08:39:35 -0500 |
---|---|---|
committer | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-01-22 14:34:51 -0500 |
commit | 04806beb310b3494f2811898419731c2b36a4a1e (patch) | |
tree | 29776e1e4855f902a6ac42c4071151b79be3cc3f /stepmake | |
parent | 0f05580ad223289d4400becadecaf5f0470212e9 (diff) |
Build: Fix for cp: cannot stat `web.texi': No such file or directory.
We have seen an intermittent bug in `make doc' where `web.texi' was
not found when it came time to copy it. This would happen in the cs/
directory first, then running `make doc' again would complete the cs/
translations but die on the de/ or es/ ones. Repeating `make doc'
enough times would complete the doc build.
I had this happen again and after the 3rd `make doc' decided to try
this patch. The next `make doc' completed all of the translations.
Diffstat (limited to 'stepmake')
-rw-r--r-- | stepmake/stepmake/texinfo-rules.make | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stepmake/stepmake/texinfo-rules.make b/stepmake/stepmake/texinfo-rules.make index 28e3db0308..a3133d6aea 100644 --- a/stepmake/stepmake/texinfo-rules.make +++ b/stepmake/stepmake/texinfo-rules.make @@ -24,11 +24,11 @@ endif touch $@ # Copy files while tracking their dependencies. -$(outdir)/%.texi: $(src-dir)/%.texi +$(outdir)/%.texi: %.texi mkdir -p $(dir $@) $(DO_TEXI_DEP) cp -f $< $@ -$(outdir)/%.itexi: $(src-dir)/%.itexi +$(outdir)/%.itexi: %.itexi mkdir -p $(dir $@) $(DO_TEXI_DEP) cp -f $< $@ |