diff man/abbrevs.texi @ 51944:4bfad02b45db

Apply Karl Berry's bug fix so @copying works with @ifnottex
author Robert J. Chassell <bob@rattlesnake.com>
date Wed, 16 Jul 2003 19:00:28 +0000
parents 2a8850f484eb
children 695cf19ef79e
line wrap: on
line diff