;; automatically generated, don't edit
;; /builddir/build/BUILD/hop-3.1.0-pre2.git20180515/weblets/doc
;; Sat Jul 14 05:56:46 2018

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

