louiz’ 0cb62d993b Rename the build directory in the e2e docker doc ...

To avoid conflicting with the “host” build/ directory. This way we don’t
need to remove/empty the build/ directory beforehand, etc.

2019-11-13 22:14:18 +01:00

..

admin.rst

Fix a few things (formatting, wrong page, etc) in the doc

2018-09-01 23:07:26 +02:00

conf.py

Properly build and install the man page, also in the rpm

2019-09-15 21:45:06 +02:00

contributing.rst

Add a doc describing how to write e2e tests

2019-11-09 21:06:02 +01:00

developer.rst

Rename the build directory in the e2e docker doc

2019-11-13 22:14:18 +01:00

index.rst

Rename the doc from developper to developer

2019-11-11 01:17:06 +01:00

install.rst

Use sphinx instead of pandoc, and add a deploy job

2018-08-29 22:10:25 +02:00

Makefile

Use sphinx instead of pandoc, and add a deploy job

2018-08-29 22:10:25 +02:00

man_index.rst

Properly build and install the man page, also in the rpm

2019-09-15 21:45:06 +02:00

synopsis.rst

Properly build and install the man page, also in the rpm

2019-09-15 21:45:06 +02:00

user.rst

Fix a few things (formatting, wrong page, etc) in the doc

2018-09-01 23:07:26 +02:00