docs/_config.yml

   1 # Permalinks
   2 #
   3 # Use of `relative_permalinks` ensures post links from the index work properly.
   4 permalink:           pretty
   5 relative_permalinks: false
   6
   7 # Setup
   8 title:               JPF-Core
   9 tagline:             ''
  10 description:         'JPF is an extensible software model checking framework for Java™ bytecode programs'
  11 #description:         'A reserved <a href="http://jekyllrb.com" target="_blank">Jekyll</a> theme that places the utmost gravity on content with a hidden drawer. Made by <a href="https://twitter.com/mdo" target="_blank">@mdo</a>.'
  12 url:                 http://lanyon.getpoole.com
  13 #baseurl:             ''
  14 baseurl:             '/jpf-core'
  15 paginate:            5
  16
  17 # About/contact
  18 author:
  19   name:              Mark Otto
  20   url:               https://twitter.com/mdo
  21   email:             markdotto@gmail.com
  22
  23 # Custom vars
  24 version:             1.0.0
  25
  26 pages_list:
  27   Home: '/jpf-core/index'
  28   Introduction: '/jpf-core/intro/index'
  29   How to obtain and install JPF: '/jpf-core/install/index'
  30   How to use JPF: '/jpf-core/user/index'
  31   Developer guide: '/jpf-core/devel/index'
  32   JPF core project: '/jpf-core/jpf-core/index'
  33   Related research: '/jpf-core/papers/index'