2016-06-04 16:14:27 +00:00
|
|
|
# Introduction
|
|
|
|
|
|
|
|
This is a collection of design documents, formerly maintained in various
|
|
|
|
different locations and formats, now grouped together and converted
|
|
|
|
to commonmark.
|
|
|
|
|
|
|
|
# Contributing
|
|
|
|
|
|
|
|
## Style
|
|
|
|
|
|
|
|
We will follow the commonmark specification.
|
|
|
|
|
|
|
|
We *should* try to follow this
|
|
|
|
[style guide](http://www.cirosantilli.com/markdown-style-guide/#about),
|
|
|
|
but are still [evaluating solutions](https://github.com/jgm/cmark/issues/131)
|
|
|
|
for *stable* automatic formatting.
|
|
|
|
|
|
|
|
80 columns line width is thus not yet enforced, but strongly suggested.
|
|
|
|
|
|
|
|
# Build a web portal from the sources
|
|
|
|
|
|
|
|
## Install dependencies
|
|
|
|
|
|
|
|
* Follow [hotdoc's installation guide](https://people.collabora.com/~meh/hotdoc_hotdoc/html/installing.html),
|
|
|
|
preferably in a virtualenv.
|
|
|
|
|
2016-06-04 16:19:38 +00:00
|
|
|
* We *experimentally* use the hotdoc C extension to include functions by
|
|
|
|
name, follow the steps outlined [here](https://github.com/hotdoc/hotdoc_c_extension)
|
|
|
|
|
2016-10-15 23:53:38 +00:00
|
|
|
* We recompile and override hotdoc's default theme, which is a submodule of this project:
|
2016-06-05 20:42:09 +00:00
|
|
|
|
|
|
|
```
|
2016-10-15 23:53:38 +00:00
|
|
|
git submodule update --init
|
2016-06-05 20:42:09 +00:00
|
|
|
```
|
|
|
|
|
2016-10-15 23:53:38 +00:00
|
|
|
Follow the instructions outlined in the theme's README.md, you can dispense
|
|
|
|
with the last step (building the theme):
|
2016-06-04 16:14:27 +00:00
|
|
|
|
|
|
|
```
|
2016-10-15 23:53:38 +00:00
|
|
|
cd hotdoc_bootstrap_theme
|
|
|
|
sudo dnf install nodejs # On Fedora
|
2016-10-19 06:03:10 +00:00
|
|
|
sudo apt-get install nodejs nodejs-legacy npm # debian
|
2016-10-21 13:37:33 +00:00
|
|
|
sudo pacman -S nodejs npm# arch
|
2016-10-15 23:53:38 +00:00
|
|
|
npm install && ./node_modules/bower/bin/bower install
|
|
|
|
cd ..
|
2016-06-04 16:14:27 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
* Build the portal:
|
|
|
|
|
|
|
|
```
|
2016-10-15 23:53:38 +00:00
|
|
|
make
|
2016-06-04 16:14:27 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
* And browse it:
|
|
|
|
|
|
|
|
```
|
|
|
|
xdg-open build/html/index.html
|
|
|
|
```
|