Add aardoc in HTML version