christos 77d245ec5c undo accidental commit.		2008-10-31 16:34:58 +00:00
..
build	undo accidental commit.	2008-10-31 16:34:58 +00:00
catalog	Use ${TOOL_SED} instead if plain sed in Makefiles.	2008-10-25 22:27:34 +00:00
docs	Add docs back the best way we can:	2008-09-02 09:25:39 +00:00
recover	Add docs back the best way we can:	2008-09-02 09:25:39 +00:00
Makefile	Do not descend into docs/ unless MKDOC != no.	2008-10-13 18:11:54 +00:00
Makefile.inc	fix build.	2008-07-13 03:44:41 +00:00