On 2013-04-02 10:26, Achim Gratz wrote:
I've added test packages compiled with gcc-4.7.2-1 (to be installed by manually selecting them, like the test version of gcc itself):
Style point: doins can take multiple arguments at once, and for installing docs, use docinto/dodoc instead, e.g.:
docinto html dodoc path/to/docs/* GTG. Yaakov