Remove menu_title when not needed

README.md

@@ -71,7 +71,7 @@ It consists of a set of items, that are defined by the following keys:
 * `url` - The (internal or external) url to the page. If internal, must be relative to the root directory. 
 * `folder` - Instead of using `url`, the `folder` can be used to create a submenu pointing to a specific folder. 
 * `items` - A list of items for submenus. 
-* `menu_external` - If set to `true`, assumes that `url` is external to the page. 
+* `external` - If set to `true`, assumes that `url` is external to the page. 
 * `menu_title` and `title` - Title to be used in the menu item. 
 * `menu_hidden` - If set to `true`, hide the item from the menu. 
 * `menu_order` - By default, menus are ordered in the order they are listed in the menu. This key can be used to override the order. Values must be non-negative integers between 0 and 10000 (inclusive). The default value is 100. 
@@ -126,20 +126,20 @@ It is recommended to install the [GitHub pages gem](https://github.com/github/pa
 If you already have Ruby, the install part should be as easy as
 
 ~~~
-gem install github-pages -V
+gem install bundler
+bundle install
 ~~~
 
-Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in order to compile C dependencies.
+in the local clone of this repository. 
 
-On OS X, you can just type `sudo gem install github-pages -V`.
+Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in order to compile C dependencies.
 
-Now you can `cd` into your local clone of the repository and launch the compilation by
+You can then run the development server by: 
 
 ~~~
-jekyll serve -w -b''
+bundle exec jekyll serve
 ~~~
 
 Your site will be generated in a `_site` sub-directory, and served live at <http://localhost:4000/>. 
-Any changes to the sources will trigger an automatic recompilation!
 
 Have fun!

people/akohlhase.md

 ---
 layout: person
-menu_title: Andrea Kohlhase
 title: Andrea Kohlhase
 menu_order: 102
 fullname: Prof. Dr. Andrea Kohlhase

people/cjucovschi.md

 ---
 layout: person
-menu_title: Constantin Jucovschi
 title: Constantin Jucovschi
 menu_order: 101
 fullname: Constantin Jucovschi

people/clange.md

 ---
 layout: person
-menu_title: Christoph Lange
 title: Christoph Lange
 menu_order: 102
 fullname: Dr. Christoph Lange

people/cmueller.md

 ---
 layout: person
-menu_title: Christine Müller
 title: Christine Müller
 menu_order: 102
 fullname: Dr. Christine Müller

people/dginev.md

 ---
 layout: person
-menu_title: Deyan Ginev
 title: Deyan Ginev 
 menu_order: 101
 fullname: Deyan Ginev

people/dmueller.md

 ---
 layout: person
-menu_title: Dennis Müller
 title: Dennis Müller 
 menu_order: 101
 fullname: Dennis Müller

people/fhorozal.md

 ---
 layout: person
-menu_title: Fulya Horozal
 title: Fulya Horozal
 menu_order: 102
 fullname: Dr. Fulya Horozal

people/frabe.md

 ---
 layout: person
-menu_title: Florian Rabe
 title: Florian Rabe
 menu_order: 102
 fullname: PD Dr. Florian Rabe

people/hstamerjohanns.md

 ---
 layout: person
-menu_title: Heinrich Stamerjohanns
 title: Heinrich Stamerjohanns
 menu_order: 102
 fullname: Dr. Heinrich Stamerjohanns

people/inormann.md

 ---
 layout: person
-menu_title: Immanuel Normann
 title: Immanuel Normann
 menu_order: 102
 fullname: Dr. Immanuel Normann

people/jbetzendal.md

 ---
 layout: person
-menu_title: Jonas Betzendal
 title: Jonas Betzendal
 menu_order: 102
 fullname: B.Sc. Jonas Betzendal

people/miancu.md

 ---
 layout: person
-menu_title: Mihnea Iancu
 title: Mihnea Iancu
 menu_order: 101
 fullname: Mihnea Iancu

people/mkohlhase.md

 ---
 layout: person
-menu_title: Michael Kohlhase
 title: Michael Kohlhase
 menu_order: 101
 fullname: Prof. Dr. Michael Kohlhase

people/nmueller.md

 ---
 layout: person
-menu_title: Normen Müller
 title: Normen Müller
 menu_order: 102
 fullname: Dr. Normen Müller

people/twiesing.md

 ---
 layout: person
-menu_title: Tom Wiesing
 title: Tom Wiesing
 menu_order: 102
 fullname: B.Sc. Tom Wiesing

people/vzholudev.md

 ---
 layout: person
-menu_title: Vyacheslav Zholudev
 title: Vyacheslav Zholudev
 menu_order: 102
 fullname: Dr. Vyacheslav Zholudev

projects/odk.md

 ---
 layout: project
-menu_title: OpenDreamKit
 title: OpenDreamKit
 start: 2015-09
 end: 2019-08

research/structural-semantics.md

 ---
 layout: page
 title: Structural Semantics
-menu_title: Structural Semantics
 menu_order: 103
 ---
 Computer support for document interaction is only possible, if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with formal methods. In many cases, useful services can be rendered by machines without having an entailment relation, for instance we can search for a formula, we can determine the concepts it depends upon, etc. The commonality of such services is that they are based on the structure of the formulae alone. For instance, instead of relying on a formal calculus to determine theorem-hood, we only insist that there be an object that has the structure of a proof.

systems/TNTBase.md

 ---
 layout: system
-menu_title: TNTBase
 title: TNTBase
 teaser: A  Versioned Storage for Mathematics (OMDoc) 
 start: 2009-09