commit | af6d9f31165a13c34c0601f37ca5a67c365d1d01 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Dec 17 13:56:22 2018 -0200 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Dec 17 13:56:22 2018 -0200 |
tree | b38572c639b77113a06fc8546378a7ca519c919d | |
parent | 2258f3133b27a6a3db703644311e0a59b6c7b0f6 [diff] |
Details A few details in the makefile and in the manual. (In particular, it updates the dependency lists in the makefile.)