;; automatically generated, don't edit
;; /tmp/hop-2.4.0-rc3/weblets/doc
;; Thu Oct 25 17:57:48 2012

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

