diff --git a/doc/ChangeLog b/doc/ChangeLog index 6b36ebf49..00d087658 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2001-03-09 Neil Jerram + + * data-rep.texi: Removed. + 2001-02-15 Neil Jerram * README: Explain retirement of `data-rep.texi'. diff --git a/doc/data-rep.texi b/doc/data-rep.texi deleted file mode 100644 index e69de29bb..000000000