projects
/
check
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
5c6ba01
b0e84f6
)
Merge pull request #231 from nmeum/makeinfo
master
author
Branden Archer
<b.m.archer4@gmail.com>
Sat, 26 Oct 2019 18:48:14 +0000
(11:48 -0700)
committer
GitHub
<noreply@github.com>
Sat, 26 Oct 2019 18:48:14 +0000
(11:48 -0700)
configure: check for makeinfo instead of tex for documentation
Trivial merge