tree b38572c639b77113a06fc8546378a7ca519c919d
parent 2258f3133b27a6a3db703644311e0a59b6c7b0f6
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1545062182 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1545062182 -0200

Details

A few details in the makefile and in the manual. (In particular,
it updates the dependency lists in the makefile.)