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 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC2b9170746945: Update build docs that refer to old makefile.* files.
rABCfb4a31a26c5f: Merge pull request #3232 from laanwj/2013_11_ubuntu1310 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes