# This is the configuration file for example 12

Website {

  PageGroup {
    database_filename "ex12.db"
    source_dir "html"
    output_dir "docs"

    depend "ex12.ws"

    Theme {
      name   "theme1"
      depend "depend1.txt"
    }

    Page {
      web_page "index.html"
      depend   "../depend1.txt"
      depend   "depend2.txt"
    }

    Page {
      web_page "about.html"
      theme    "theme1"
      depend   "*.html"
    }

    Page {
      web_page "help.html"
      theme    "theme1"
    }
  }
}