markd 0eb46ddd1b tex-animate{,-doc}: update to 20200507 ... minor changes		2020-05-10 22:06:16 +00:00
..
DESCR
distinfo	tex-animate{,-doc}: update to 20200507	2020-05-10 22:06:16 +00:00
Makefile	tex-animate{,-doc}: update to 20200507	2020-05-10 22:06:16 +00:00
PLIST