diff lispref/locals.texi @ 16605:ce11cd8244f5

* config.sub: Recognize gnu-gnu* along with linux-gnu* as a valid kernel-os combination. Remove `-gnu*' from the portable systems list. Add `-gnu-gnu*'. Add new rule for `-gnu*' to turn it into two part name.
author Thomas Bushnell, BSG <thomas@gnu.org>
date Thu, 21 Nov 1996 21:51:00 +0000
parents a6eb5f12b0f3
children 90da2489c498
line wrap: on
line diff