Skip to content

Commit 7e3853d

Browse files
authored
Merge pull request #1124 from domenkozar/docs
Bump docs dependencies and move docs docs to README
2 parents 132f7eb + 53b3b93 commit 7e3853d

File tree

5 files changed

+12
-12
lines changed

5 files changed

+12
-12
lines changed

CONTRIBUTING.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ Or `nix`:
2121
./scripts/generate-nix-files.sh # Get up-to-date shell.nix files
2222
```
2323

24+
To build the docs, see `doc/README.md`.
2425

2526
## General
2627

doc/README.md

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
To build the docs locally:
2+
3+
$ virtualenv venv
4+
$ . ./venv/bin/activate
5+
$ pip install -r requirements.txt
6+
$ make html
7+
8+
Docs will be built in _build/html/index.html .

doc/building-the-docs

Lines changed: 0 additions & 8 deletions
This file was deleted.

doc/conf.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -167,7 +167,6 @@
167167
# -- Markdown -------------------------------------------------------------
168168

169169
source_parsers = {
170-
'.md': CommonMarkParser,
171170
'.lhs': CommonMarkParser,
172171
}
173172

doc/requirements.txt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
recommonmark==0.4.0
2-
Sphinx==1.7.5
3-
sphinx_rtd_theme>=0.4.0
1+
recommonmark==0.5.0
2+
Sphinx==1.8.4
3+
sphinx_rtd_theme>=0.4.2

0 commit comments

Comments
 (0)