;; automatically generated, don't edit
;; /tmp/hop-3.0.0-rc9/weblets/doc
;; Sun Dec 13 09:06:19 2015

(
  (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")
)

