From 3c98be3c5937e5845a2804818c121be0b583718d Mon Sep 17 00:00:00 2001 From: Tom Wiesing <tkw01536@gmail.com> Date: Tue, 6 Jun 2017 16:24:56 +0200 Subject: [PATCH] Remove menu_title when not needed --- README.md | 14 +++++++------- people/akohlhase.md | 1 - people/cjucovschi.md | 1 - people/clange.md | 1 - people/cmueller.md | 1 - people/dginev.md | 1 - people/dmueller.md | 1 - people/fhorozal.md | 1 - people/frabe.md | 1 - people/hstamerjohanns.md | 1 - people/inormann.md | 1 - people/jbetzendal.md | 1 - people/miancu.md | 1 - people/mkohlhase.md | 1 - people/nmueller.md | 1 - people/twiesing.md | 1 - people/vzholudev.md | 1 - projects/odk.md | 1 - research/structural-semantics.md | 1 - systems/TNTBase.md | 1 - systems/arXMLiv.md | 1 - systems/cpoint.md | 1 - systems/jomdoc.md | 1 - systems/krextor.md | 1 - systems/mathhub.md | 1 - systems/openmathmap.md | 1 - systems/sally.md | 1 - teaching/ai1.md | 1 - teaching/ai2.md | 1 - 29 files changed, 7 insertions(+), 35 deletions(-) diff --git a/README.md b/README.md index 815b904..7213f11 100644 --- a/README.md +++ b/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! diff --git a/people/akohlhase.md b/people/akohlhase.md index 728a6fe..d5a2b64 100644 --- a/people/akohlhase.md +++ b/people/akohlhase.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Andrea Kohlhase title: Andrea Kohlhase menu_order: 102 fullname: Prof. Dr. Andrea Kohlhase diff --git a/people/cjucovschi.md b/people/cjucovschi.md index 9809848..7d87355 100644 --- a/people/cjucovschi.md +++ b/people/cjucovschi.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Constantin Jucovschi title: Constantin Jucovschi menu_order: 101 fullname: Constantin Jucovschi diff --git a/people/clange.md b/people/clange.md index 40098b0..9c6a397 100644 --- a/people/clange.md +++ b/people/clange.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Christoph Lange title: Christoph Lange menu_order: 102 fullname: Dr. Christoph Lange diff --git a/people/cmueller.md b/people/cmueller.md index be5aadf..7da3cd5 100644 --- a/people/cmueller.md +++ b/people/cmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Christine Müller title: Christine Müller menu_order: 102 fullname: Dr. Christine Müller diff --git a/people/dginev.md b/people/dginev.md index f3d236c..97144a3 100644 --- a/people/dginev.md +++ b/people/dginev.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Deyan Ginev title: Deyan Ginev menu_order: 101 fullname: Deyan Ginev diff --git a/people/dmueller.md b/people/dmueller.md index 0e617ea..de5e302 100644 --- a/people/dmueller.md +++ b/people/dmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Dennis Müller title: Dennis Müller menu_order: 101 fullname: Dennis Müller diff --git a/people/fhorozal.md b/people/fhorozal.md index 1d299ea..9cf91e2 100644 --- a/people/fhorozal.md +++ b/people/fhorozal.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Fulya Horozal title: Fulya Horozal menu_order: 102 fullname: Dr. Fulya Horozal diff --git a/people/frabe.md b/people/frabe.md index db12c7d..4d9644e 100644 --- a/people/frabe.md +++ b/people/frabe.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Florian Rabe title: Florian Rabe menu_order: 102 fullname: PD Dr. Florian Rabe diff --git a/people/hstamerjohanns.md b/people/hstamerjohanns.md index 35054ee..38ee4dd 100644 --- a/people/hstamerjohanns.md +++ b/people/hstamerjohanns.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Heinrich Stamerjohanns title: Heinrich Stamerjohanns menu_order: 102 fullname: Dr. Heinrich Stamerjohanns diff --git a/people/inormann.md b/people/inormann.md index bfdb755..4f7efaa 100644 --- a/people/inormann.md +++ b/people/inormann.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Immanuel Normann title: Immanuel Normann menu_order: 102 fullname: Dr. Immanuel Normann diff --git a/people/jbetzendal.md b/people/jbetzendal.md index 509e91c..c9ba4e3 100644 --- a/people/jbetzendal.md +++ b/people/jbetzendal.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Jonas Betzendal title: Jonas Betzendal menu_order: 102 fullname: B.Sc. Jonas Betzendal diff --git a/people/miancu.md b/people/miancu.md index bbba470..62674b1 100644 --- a/people/miancu.md +++ b/people/miancu.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Mihnea Iancu title: Mihnea Iancu menu_order: 101 fullname: Mihnea Iancu diff --git a/people/mkohlhase.md b/people/mkohlhase.md index 6d0cab2..617bd49 100644 --- a/people/mkohlhase.md +++ b/people/mkohlhase.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Michael Kohlhase title: Michael Kohlhase menu_order: 101 fullname: Prof. Dr. Michael Kohlhase diff --git a/people/nmueller.md b/people/nmueller.md index 7dd29a1..71a7208 100644 --- a/people/nmueller.md +++ b/people/nmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Normen Müller title: Normen Müller menu_order: 102 fullname: Dr. Normen Müller diff --git a/people/twiesing.md b/people/twiesing.md index 1117126..2f61c22 100644 --- a/people/twiesing.md +++ b/people/twiesing.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Tom Wiesing title: Tom Wiesing menu_order: 102 fullname: B.Sc. Tom Wiesing diff --git a/people/vzholudev.md b/people/vzholudev.md index f2e7407..185c183 100644 --- a/people/vzholudev.md +++ b/people/vzholudev.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Vyacheslav Zholudev title: Vyacheslav Zholudev menu_order: 102 fullname: Dr. Vyacheslav Zholudev diff --git a/projects/odk.md b/projects/odk.md index f9d7dff..91b5107 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -1,6 +1,5 @@ --- layout: project -menu_title: OpenDreamKit title: OpenDreamKit start: 2015-09 end: 2019-08 diff --git a/research/structural-semantics.md b/research/structural-semantics.md index c029769..ca7cbfe 100644 --- a/research/structural-semantics.md +++ b/research/structural-semantics.md @@ -1,7 +1,6 @@ --- 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. diff --git a/systems/TNTBase.md b/systems/TNTBase.md index 78d9c20..9c6714c 100644 --- a/systems/TNTBase.md +++ b/systems/TNTBase.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: TNTBase title: TNTBase teaser: A Versioned Storage for Mathematics (OMDoc) start: 2009-09 diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md index 04a906c..9c84f72 100644 --- a/systems/arXMLiv.md +++ b/systems/arXMLiv.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: arXMLiv title: arXMLiv start: 2006 pillar: semantization diff --git a/systems/cpoint.md b/systems/cpoint.md index 493003b..719af42 100644 --- a/systems/cpoint.md +++ b/systems/cpoint.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: CPoint title: CPoint teaser: Adding a semantic layer to MS PowerPoint. start: 2001-07 diff --git a/systems/jomdoc.md b/systems/jomdoc.md index a1c5456..a82cd17 100644 --- a/systems/jomdoc.md +++ b/systems/jomdoc.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: JOMDoc title: JOMDoc teaser: A Java API for OMDoc documents. start: 2007-09 diff --git a/systems/krextor.md b/systems/krextor.md index 17cb8a2..36f321e 100644 --- a/systems/krextor.md +++ b/systems/krextor.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: Krextor title: Krextor start: 2008-02 end: 2010-09 diff --git a/systems/mathhub.md b/systems/mathhub.md index 8d12817..8eeeaa4 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: MathHub title: MathHub teaser: A portal for active mathematical documents and an archive for flexiformal mathematics. start: 2008-08 diff --git a/systems/openmathmap.md b/systems/openmathmap.md index 8b9f240..4d9d54d 100644 --- a/systems/openmathmap.md +++ b/systems/openmathmap.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: OpenMathMap title: OpenMathMap teaser: A Map of Mathematics start: 2013-06 diff --git a/systems/sally.md b/systems/sally.md index f8fb2d2..7b2729a 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: Semantic Alliance title: Semantic Alliance teaser: A framework for mashing up semantic services into desktop applications. repository: https://github.com/KWARC/Sally diff --git a/teaching/ai1.md b/teaching/ai1.md index 5ed9958..e577c3f 100644 --- a/teaching/ai1.md +++ b/teaching/ai1.md @@ -2,7 +2,6 @@ layout: course instructor: mkohlhase title: Künstliche Intelligenz I -menu_title: Künstliche Intelligenz I taught: WS16 --- Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), diff --git a/teaching/ai2.md b/teaching/ai2.md index ce0b8f1..fa32fc6 100644 --- a/teaching/ai2.md +++ b/teaching/ai2.md @@ -2,7 +2,6 @@ layout: course instructor: mkohlhase title: Künstliche Intelligenz II -menu_title: Künstliche Intelligenz II taught: SS16/17 --- -- GitLab