Tue, 26 May 2009 17:49:10 +0100Rename documentation install folder from 'docs' to 'html'
Akos Ladanyi <ladanyi@tmit.bme.hu> [Tue, 26 May 2009 17:49:10 +0100] rev 720
Rename documentation install folder from 'docs' to 'html'