diff options
author | Colin Watson <cjwatson@debian.org> | 2019-05-02 12:23:07 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2019-05-02 12:23:07 +0100 |
commit | 49905b5bd15b5a166ac7766b93e4cf02526007db (patch) | |
tree | 7b9c4df5a39a5f2d3d492df31bb0f97ee3a7f609 /manual/options-only.me | |
parent | 56c355e8a29fff0adbb6e72c95a37ba8ccac2e12 (diff) |
Improve manual build portability slightly
* manual/Makefile.am ($(MANUAL).pp, .pp.dvi, .pp.ps, .pp.tdvi,
.tdvi.tps, .pp.cat, .pp.html): Use "mv -f" rather than just "mv", since
Automake seems to prefer that for its own rules.
Diffstat (limited to 'manual/options-only.me')
0 files changed, 0 insertions, 0 deletions