[elephant-cvs] CVS update: Directory change: elephant/doc/includes