| commit | 2fecccba2f4ee3b6c8aabb3f5a3828912ce2fce1 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Tue, 19 Jun 2012 01:59:38 +0000 (18 21:59 -0400) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Tue, 19 Jun 2012 01:59:38 +0000 (18 21:59 -0400) | ||
| tree | 3a34c60e7809be43e72cf454c12ebe11ade3bf4f | treesnapshot (tar.gz zip) |
| parent | 05c44a7512ba0da34f7e6c3869c22f2f3517d255 | commitdiff |
Rename infodir to buildinfodir in doc/*/Makefile.in (bug#11737)
This also makes it clearer that it has no relation to the "infodir"
used by install.
This also makes it clearer that it has no relation to the "infodir"
used by install.