(install
 (section doc)
 (files
   matita.pdf
  (glob_files_rec html/*)))