SubDir TOP docs ;

InstallDoc history.txt history.old ;

SubInclude TOP docs texinfo ;
SubInclude TOP docs doxygen ;
SubInclude TOP docs html ;
