2021-05-02  Karl Berry  <karl@freefriends.org>

	* doc,
	* bin: remove the setop-level directories; they
	contained only derived files generated long ago,
	or otherwise duplicated within lit/. Relics of attempts
	of the initial import of Eitan's stuff, as I recall.

2016-12-13  Karl Berry  <karl@freefriends.org>

	* tests: new dir with assorted tests.
	* src/tests/testa.tex: move again, now to tests/.
	* src/tests/testb.tex: turns out it's the same as testa, remove.

2010-01-18  Karl Berry  <karl@gnu.org>

	* lit: import literate sources from CVR.
	* src/tests: rename top-level temp/ subdir.

This file is public domain.  Started 2010, Karl Berry.