christos 3836efcb15 re-enable now that we have a newer texinfo		2008-09-02 09:28:53 +00:00
..
Makefile	re-enable now that we have a newer texinfo	2008-09-02 09:28:53 +00:00