;; automatically generated, don't edit
;; /tmp/hop-3.6.0/weblets/doc
;; Fri Dec  2 13:23:57 2022

(
  (hopdoc_api "api.hop")
  (hopdoc_config "config.hop")
  (hopdoc "doc.hop")
  (hopdoc_client "doc.scm")
  (hopdoc_index "index.hop")
  (hopdoc_libraries "libraries.hop")
  (hopdoc_search "search.hop")
  (hopdoc_services "services.hop")
  (hopdoc_tutorials "tutorials.hop")
  (hopdoc_weblets "weblets.hop")
  (hopdoc_widgets "widgets.hop")
  (hopdoc_wiki "wiki.hop")
)