diff man/basic.texi @ 74937:e89aaee63398

Update table of supported Make ports. Show "make -j" command that is known to work.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 27 Dec 2006 13:54:18 +0000
parents f142d3f60937
children 3d45362f1d38 c358d0861b16
line wrap: on
line diff