diff man/text.texi @ 52089:0713c3d48620

Mention `compilation-environment'.
author John Paul Wallington <jpw@pobox.com>
date Thu, 31 Jul 2003 00:12:57 +0000
parents 5bb62138f451
children 695cf19ef79e
line wrap: on
line diff