Chris PeBenito 8ae194f629 when a generated file is already generated, it shows up in the generated_* ... variable, and also the make wildcard, so use sort, since it removes duplicates.		2005-06-14 18:39:55 +00:00
..
config	move user_u and root to users	2005-06-01 17:40:22 +00:00
doc	fix	2005-06-13 20:10:01 +00:00
policy	fix typo	2005-06-14 18:15:01 +00:00
support	ul end tag fix, and css tweak	2005-06-13 18:07:35 +00:00
Makefile	when a generated file is already generated, it shows up in the generated_*	2005-06-14 18:39:55 +00:00
VERSION	initial commit	2005-06-14 14:43:15 +00:00