Added header files in the attempt to generate html files