mirror of
https://github.com/mirror/make.git
synced 2026-08-31 11:48:08 +08:00
* doc/make.texi: Here. It was sufficient to change an '@itemx' into an '@item'. Copyright-paperwork-exempt: yes Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>