* Make-dist: If file is generated but still distributed the later
is correct.
1998-12-30 Andreas Jaeger <aj@arthur.rhein-neckar.de>
Patche by Ralf Baechle <ralf@gnu.org>:
* sysdeps/mips/sys/regdef.h: New file, enhanced versions of
deleted linux specific files.
