diff configure @ 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 2378c0aad975
children a9d461b0fc6f
line wrap: on
line diff