Skip to content

Commit 16a4da4

Browse files
developer docs section
1 parent 0b45d0b commit 16a4da4

4 files changed

Lines changed: 66 additions & 51 deletions

File tree

doc/build.rst renamed to doc/developer.build.rst

Lines changed: 2 additions & 50 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
For developers: Building Gambit from source
2-
===========================================
1+
Building Gambit from source
2+
===========================
33

44
This section covers instructions for building Gambit from source.
55
This is for those who are interested in developing Gambit, or who
@@ -144,51 +144,3 @@ using `nose2`.
144144

145145
Once installed, simply ``import pygambit`` in your Python shell or
146146
script to get started.
147-
148-
Editing this documentation
149-
--------------------------
150-
151-
1. If you haven't already, clone the Gambit repository from GitHub: ::
152-
153-
git clone https://github.com/gambitproject/gambit.git
154-
cd gambit
155-
156-
2. Either install the docs requirements into your existing PyGambit development environment, or create a new virtual environment and install both the requirements and PyGambit there. For example, you can use `venv` to create a new environment: ::
157-
158-
python -m venv docenv
159-
source docenv/bin/activate
160-
161-
3. Install the requirements and make the docs: ::
162-
163-
pip install .
164-
cd doc
165-
pip install -r requirements.txt
166-
make html # or make livehtml for live server with auto-rebuild
167-
168-
4. Open ``doc/_build/html/index.html`` in your browser to view the documentation.
169-
170-
5. Make any changes you want to the `.rst` files in the ``doc`` directory and rebuld the documentation to check your changes.
171-
172-
6. Follow the usual GitHub workflow to commit your changes and push them to the repository.
173-
174-
7. Core developers will review your changes and merge to the master branch, which automatically deploys the documentation via the ReadTheDocs service.
175-
176-
.. TODO: Add instructions for the GitHub workflow during contributor docs refactoring.
177-
See https://github.com/gambitproject/gambit/issues/541
178-
179-
Bug reports
180-
-----------
181-
182-
In the first instance, bug reports or feature requests should be
183-
posted to the Gambit issue tracker, located at
184-
`<http://github.com/gambitproject/gambit/issues>`_.
185-
186-
When reporting a bug, please be sure to include the following:
187-
188-
* The version(s) of Gambit you are using. (If possible, it is helpful
189-
to know whether a bug exists in both the current stable/teaching and
190-
the current development/research versions.)
191-
* The operating system(s) on which you encountered the bug.
192-
* A detailed list of steps to reproduce the bug. Be sure to include a
193-
sample game file or files if appropriate; it is often helpful to
194-
simplify the game if possible.

doc/developer.contributing.rst

Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
Contributing to the Gambit Project
2+
==================================
3+
4+
Editing this documentation
5+
--------------------------
6+
7+
1. If you haven't already, clone the Gambit repository from GitHub: ::
8+
9+
git clone https://github.com/gambitproject/gambit.git
10+
cd gambit
11+
12+
2. Either install the docs requirements into your existing PyGambit development environment, or create a new virtual environment and install both the requirements and PyGambit there. For example, you can use `venv` to create a new environment: ::
13+
14+
python -m venv docenv
15+
source docenv/bin/activate
16+
17+
3. Install the requirements and make the docs: ::
18+
19+
pip install .
20+
cd doc
21+
pip install -r requirements.txt
22+
make html # or make livehtml for live server with auto-rebuild
23+
24+
4. Open ``doc/_build/html/index.html`` in your browser to view the documentation.
25+
26+
5. Make any changes you want to the `.rst` files in the ``doc`` directory and rebuld the documentation to check your changes.
27+
28+
6. Follow the usual GitHub workflow to commit your changes and push them to the repository.
29+
30+
7. Core developers will review your changes and merge to the master branch, which automatically deploys the documentation via the ReadTheDocs service.
31+
32+
.. TODO: Add instructions for the GitHub workflow during contributor docs refactoring.
33+
See https://github.com/gambitproject/gambit/issues/541
34+
35+
Bug reports
36+
-----------
37+
38+
In the first instance, bug reports or feature requests should be
39+
posted to the Gambit issue tracker, located at
40+
`<http://github.com/gambitproject/gambit/issues>`_.
41+
42+
When reporting a bug, please be sure to include the following:
43+
44+
* The version(s) of Gambit you are using. (If possible, it is helpful
45+
to know whether a bug exists in both the current stable/teaching and
46+
the current development/research versions.)
47+
* The operating system(s) on which you encountered the bug.
48+
* A detailed list of steps to reproduce the bug. Be sure to include a
49+
sample game file or files if appropriate; it is often helpful to
50+
simplify the game if possible.

doc/developer.rst

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
.. _developer:
2+
3+
4+
Developer docs
5+
==============
6+
7+
This section contains information for developers who want to contribute to the Gambit project, including how to build Gambit from source, how to contribute code, and how to report bugs.
8+
9+
.. toctree::
10+
:maxdepth: 2
11+
12+
developer.build
13+
developer.contributing

doc/index.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ construction and analysis of finite extensive and strategic games.
6767
tools
6868
gui
6969
samples
70-
build
70+
developer
7171
formats
7272
biblio
7373

0 commit comments

Comments
 (0)