diff man/anti.texi @ 26145:760a5b91fe7f

(compile-files, backup-compiled-files): New targets. (bootstrap, bootstrap-clean): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 23 Oct 1999 13:22:02 +0000
parents ac7e9e5e2ccb
children e68fb610cc11
line wrap: on
line diff