diff --git a/scripts/ChangeLog b/scripts/ChangeLog index 952ac82e2..50dd4d0fe 100644 --- a/scripts/ChangeLog +++ b/scripts/ChangeLog @@ -2,6 +2,9 @@ * punify (write-punily): Handle symbols w/ ":" prefix specially. + * use2dot (ferret): New proc. + (grok): Use `ferret'. + 2001-11-16 Neil Jerram * snarf-check-and-output-texi: Change generated @deffn categories