From f263dbb3a2ad2d9a5c62cfd0082cb18641f642f7 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 8 Oct 2017 12:00:21 +0200
Subject: [PATCH] howto

---
 README.md | 90 +++++++++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 88 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 71e7c3e..2e7c1df 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,89 @@
-This Repository supports the planning and initial development of a **Special Interest Group for Math Linguistics** (SIGMathLing).
+# The Sources of the SIGMathLing Web site
+
+This is patterned after the [OpenDreamKit site](http://opendreamkit.org), also see the
+README there. 
+
+## About
+
+This website is hosted as a [GitLab page](https://docs.gitlab.com/ee/user/project/pages/).
+In short, is built statically from Markdown source files using
+[Jekyll](http://jekyllrb.com/). To update a page, just modify the
+corresponding source and push. This can be done online by clicking on
+"Edit this page" in the side bar. See the above links for details.
+
+- `_config.yml`: main configuration page
+- `_post/*.md`: sources of the news and blog posts
+- `_layouts/*`: local style files
+- `_includes/*`: reusable chunks of web pages, like the side bar
+- `public/*`: Jekyll style files (almost vanilla), logos, ...
+
+## How to use Jekyll to test/build this website
+
+This is a
+[*static website*](http://en.wikipedia.org/wiki/Static_web_page)
+automatically generated with [Jekyll](http://jekyllrb.com/).
+
+These instructions are for SIGMathLing members who wish to do more than the occasional editing.
+
+### Editing pages online with GitHub
+
+You can edit any page by following the *"Edit this page"* link in the
+sidebar. Alternatively, you can directly navigate to the corresponding
+`.md` (Markdown) file in GitHub.
+
+This will drop you in GitLab's file editing interface, where you can
+modify the source code, preview it, and save your changes, by giving a
+short description of what you modified. If you have
+[write access](https://help.github.com/articles/what-are-the-different-access-permissions/)
+to the repository (hint: you do), your modifications will be published
+right away.  If you do not have right access, you will be asked to
+[fork the repository and make a pull request](https://help.github.com/articles/fork-a-repo/).
+
+Most of the pages are written in
+[Markdown](http://daringfireball.net/projects/markdown/), which is a
+textual format for generating formatted text. Markdown syntax is very
+intuitive, you can get a quick review
+[here](https://help.github.com/articles/github-flavored-markdown/) or
+[here](http://kramdown.gettalong.org/syntax.html).
+
+### Working locally
+
+If you want to do more than the occasional editing, you'll soon
+realise GitHub's editor and preview are too limited. It's better to
+work locally on your computer.
+
+All you need to work locally is a [Git client](http://git-scm.com/).
+[Clone the repository](https://help.github.com/articles/fork-a-repo/#step-2-create-a-local-clone-of-your-fork)
+and start coding right away.
+
+At some point, you will need to preview your work, but pushing to
+GitHub each time you want to preview is clumsy. Your best option is to
+[install Jekyll and the required dependencies](https://help.github.com/articles/using-jekyll-with-pages/#installing-jekyll)
+on your machine. It is recommended to install the
+[GitHub pages gem](https://github.com/github/pages-gem) which provides
+you with the exact same versions used by GitHub to compile your site.
+
+If you already have Ruby, the install part should be as easy as
+
+~~~
+gem install github-pages
+~~~
+
+Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in
+order to compile C dependencies.
+
+On OS X, you can just type `sudo gem install github-pages`.
+
+Now you can `cd` into your local clone of the repository and launch
+the compilation by
+
+~~~
+jekyll serve -w -b''
+~~~
+
+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!
 
-We collect and develop planning/outreach documents here. They may turn into the beginnings of a web site soon. As we will probably want to use jekyll for that, we will already put the documents into Markdown and YAML.
-- 
GitLab