HTML compile.html
  HTML configure.html
  HTML copyleft.html
  HTML index.html
  HTML introduction.html
  HTML patch.html
  HTML postinstall.html
  HTML usethesource.html