Merge pull request #3231 from brandondahler/doc-autotool-update
Update build docs that refer to old makefile.* files.
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Nov 11 2013, 08:59 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING2b9170746945: Update build docs that refer to old makefile.* files.
rSTAGINGfb4a31a26c5f: Merge pull request #3232 from laanwj/2013_11_ubuntu1310 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes