[
  "manual.pdf",
  "manual.html"
]