Skip to content

Commit 5f72076

Browse files
committed
initial commit
0 parents  commit 5f72076

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

69 files changed

+3315
-0
lines changed

.gitignore

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
*.pdf
2+
*.tex
3+
venv-docs
4+
.DS_Store
5+
*/.DS_Store
6+
figures-pdf/
7+
figures-hi_res/
8+
figures-low_res/
9+
private/
10+
local/
11+
scripts/
12+
_build/

.gitpod.yml

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
# This configuration file was automatically generated by Gitpod.
2+
# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file)
3+
# and commit this file to your remote git repository to share the goodness with others.
4+
5+
tasks:
6+
- init: sudo apt-get -y install libenchant-2-dev
7+
command: make html
8+
- name: Start web server
9+
init: python -m http.server 8000
10+
11+
ports:
12+
- port: 8000
13+
onOpen: open-preview
14+

LICENSE

Lines changed: 306 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,306 @@
1+
Creative Commons Attribution 4.0 International Public License
2+
3+
By exercising the Licensed Rights (defined below), You accept and
4+
agree to be bound by the terms and conditions of this Creative Commons
5+
Attribution-NonCommercial-NoDerivatives 4.0 International Public
6+
License ("Public License"). To the extent this Public License may be
7+
interpreted as a contract, You are granted the Licensed Rights in
8+
consideration of Your acceptance of these terms and conditions, and
9+
the Licensor grants You such rights in consideration of benefits the
10+
Licensor receives from making the Licensed Material available under
11+
these terms and conditions.
12+
13+
Section 1 – Definitions.
14+
15+
(a) Adapted Material means material subject to Copyright and Similar
16+
Rights that is derived from or based upon the Licensed Material and
17+
in which the Licensed Material is translated, altered, arranged,
18+
transformed, or otherwise modified in a manner requiring permission
19+
under the Copyright and Similar Rights held by the Licensor. For
20+
purposes of this Public License, where the Licensed Material is a
21+
musical work, performance, or sound recording, Adapted Material is
22+
always produced where the Licensed Material is synched in timed
23+
relation with a moving image.
24+
25+
(b) Copyright and Similar Rights means copyright and/or similar
26+
rights closely related to copyright including, without limitation,
27+
performance, broadcast, sound recording, and Sui Generis Database
28+
Rights, without regard to how the rights are labeled or
29+
categorized. For purposes of this Public License, the rights
30+
specified in Section 2(b)(1)-(2) are not Copyright and Similar
31+
Rights.
32+
33+
(c) Effective Technological Measures means those measures that, in
34+
the absence of proper authority, may not be circumvented under laws
35+
fulfilling obligations under Article 11 of the WIPO Copyright Treaty
36+
adopted on December 20, 1996, and/or similar international
37+
agreements.
38+
39+
(d) Exceptions and Limitations means fair use, fair dealing, and/or
40+
any other exception or limitation to Copyright and Similar Rights
41+
that applies to Your use of the Licensed Material.
42+
43+
(e) Licensed Material means the artistic or literary work, database,
44+
or other material to which the Licensor applied this Public License.
45+
46+
(f) Licensed Rights means the rights granted to You subject to the
47+
terms and conditions of this Public License, which are limited to
48+
all Copyright and Similar Rights that apply to Your use of the
49+
Licensed Material and that the Licensor has authority to license.
50+
51+
(g) Licensor means the individual(s) or entity(ies) granting rights
52+
under this Public License.
53+
54+
(h) NonCommercial means not primarily intended for or directed
55+
towards commercial advantage or monetary compensation. For purposes
56+
of this Public License, the exchange of the Licensed Material for
57+
other material subject to Copyright and Similar Rights by digital
58+
file-sharing or similar means is NonCommercial provided there is no
59+
payment of monetary compensation in connection with the exchange.
60+
61+
(i) Share means to provide material to the public by any means or
62+
process that requires permission under the Licensed Rights, such as
63+
reproduction, public display, public performance, distribution,
64+
dissemination, communication, or importation, and to make material
65+
available to the public including in ways that members of the public
66+
may access the material from a place and at a time individually
67+
chosen by them.
68+
69+
(j) Sui Generis Database Rights means rights other than copyright
70+
resulting from Directive 96/9/EC of the European Parliament and of
71+
the Council of 11 March 1996 on the legal protection of databases,
72+
as amended and/or succeeded, as well as other essentially equivalent
73+
rights anywhere in the world.
74+
75+
(k) You means the individual or entity exercising the Licensed
76+
Rights under this Public License. Your has a corresponding meaning.
77+
78+
Section 2 – Scope.
79+
80+
(a) License grant.
81+
82+
(1) Subject to the terms and conditions of this Public License,
83+
the Licensor hereby grants You a worldwide, royalty-free,
84+
non-sublicensable, non-exclusive, irrevocable license to exercise
85+
the Licensed Rights in the Licensed Material to:
86+
87+
(A) reproduce and Share the Licensed Material, in whole or in
88+
part, for NonCommercial purposes only; and
89+
90+
(B) produce and reproduce, but not Share, Adapted Material for
91+
NonCommercial purposes only.
92+
93+
(2) Exceptions and Limitations. For the avoidance of doubt, where
94+
Exceptions and Limitations apply to Your use, this Public License
95+
does not apply, and You do not need to comply with its terms and
96+
conditions.
97+
98+
(3) Term. The term of this Public License is specified in Section
99+
6(a).
100+
101+
(4) Media and formats; technical modifications allowed. The
102+
Licensor authorizes You to exercise the Licensed Rights in all
103+
media and formats whether now known or hereafter created, and to
104+
make technical modifications necessary to do so. The Licensor
105+
waives and/or agrees not to assert any right or authority to
106+
forbid You from making technical modifications necessary to
107+
exercise the Licensed Rights, including technical modifications
108+
necessary to circumvent Effective Technological Measures. For
109+
purposes of this Public License, simply making modifications
110+
authorized by this Section 2(a)(4) never produces Adapted
111+
Material.
112+
113+
(5) Downstream recipients.
114+
115+
(A) Offer from the Licensor – Licensed Material. Every recipient
116+
of the Licensed Material automatically receives an offer from
117+
the Licensor to exercise the Licensed Rights under the terms and
118+
conditions of this Public License.
119+
120+
(B) No downstream restrictions. You may not offer or impose any
121+
additional or different terms or conditions on, or apply any
122+
Effective Technological Measures to, the Licensed Material if
123+
doing so restricts exercise of the Licensed Rights by any
124+
recipient of the Licensed Material.
125+
126+
(6) No endorsement. Nothing in this Public License constitutes or
127+
may be construed as permission to assert or imply that You are, or
128+
that Your use of the Licensed Material is, connected with, or
129+
sponsored, endorsed, or granted official status by, the Licensor
130+
or others designated to receive attribution as provided in Section
131+
3(a)(1)(A)(i).
132+
133+
(b) Other rights.
134+
135+
(1) Moral rights, such as the right of integrity, are not licensed
136+
under this Public License, nor are publicity, privacy, and/or
137+
other similar personality rights; however, to the extent possible,
138+
the Licensor waives and/or agrees not to assert any such rights
139+
held by the Licensor to the limited extent necessary to allow You
140+
to exercise the Licensed Rights, but not otherwise.
141+
142+
(2) Patent and trademark rights are not licensed under this Public
143+
License.
144+
145+
(3) To the extent possible, the Licensor waives any right to
146+
collect royalties from You for the exercise of the Licensed
147+
Rights, whether directly or through a collecting society under any
148+
voluntary or waivable statutory or compulsory licensing scheme. In
149+
all other cases the Licensor expressly reserves any right to
150+
collect such royalties, including when the Licensed Material is
151+
used other than for NonCommercial purposes.
152+
153+
Section 3 – License Conditions.
154+
155+
Your exercise of the Licensed Rights is expressly made subject to the
156+
following conditions.
157+
158+
(a) Attribution.
159+
160+
(1) If You Share the Licensed Material, You must:
161+
162+
(A) retain the following if it is supplied by the Licensor with
163+
the Licensed Material:
164+
165+
(i) identification of the creator(s) of the Licensed Material
166+
and any others designated to receive attribution, in any
167+
reasonable manner requested by the Licensor (including by
168+
pseudonym if designated);
169+
170+
(ii) a copyright notice;
171+
172+
(iii) a notice that refers to this Public License;
173+
174+
(iv) a notice that refers to the disclaimer of warranties;
175+
176+
(v) a URI or hyperlink to the Licensed Material to the extent
177+
reasonably practicable;
178+
179+
(B) indicate if You modified the Licensed Material and retain an
180+
indication of any previous modifications; and
181+
182+
(C) indicate the Licensed Material is licensed under this Public
183+
License, and include the text of, or the URI or hyperlink to,
184+
this Public License.
185+
186+
For the avoidance of doubt, You do not have permission under this
187+
Public License to Share Adapted Material.
188+
189+
(2) You may satisfy the conditions in Section 3(a)(1) in any
190+
reasonable manner based on the medium, means, and context in which
191+
You Share the Licensed Material. For example, it may be reasonable
192+
to satisfy the conditions by providing a URI or hyperlink to a
193+
resource that includes the required information.
194+
195+
(3) If requested by the Licensor, You must remove any of the
196+
information required by Section 3(a)(1)(A) to the extent
197+
reasonably practicable.
198+
199+
Section 4 – Sui Generis Database Rights.
200+
201+
Where the Licensed Rights include Sui Generis Database Rights that
202+
apply to Your use of the Licensed Material:
203+
204+
(a) for the avoidance of doubt, Section 2(a)(1) grants You the right
205+
to extract, reuse, reproduce, and Share all or a substantial portion
206+
of the contents of the database for NonCommercial purposes only and
207+
provided You do not Share Adapted Material;
208+
209+
(b) if You include all or a substantial portion of the database
210+
contents in a database in which You have Sui Generis Database
211+
Rights, then the database in which You have Sui Generis Database
212+
Rights (but not its individual contents) is Adapted Material; and
213+
214+
(c) You must comply with the conditions in Section 3(a) if You Share
215+
all or a substantial portion of the contents of the database.
216+
217+
For the avoidance of doubt, this Section 4 supplements and does not
218+
replace Your obligations under this Public License where the Licensed
219+
Rights include other Copyright and Similar Rights.
220+
221+
Section 5 – Disclaimer of Warranties and Limitation of Liability.
222+
223+
(a) Unless otherwise separately undertaken by the Licensor, to the
224+
extent possible, the Licensor offers the Licensed Material as-is and
225+
as-available, and makes no representations or warranties of any kind
226+
concerning the Licensed Material, whether express, implied,
227+
statutory, or other. This includes, without limitation, warranties
228+
of title, merchantability, fitness for a particular purpose,
229+
non-infringement, absence of latent or other defects, accuracy, or
230+
the presence or absence of errors, whether or not known or
231+
discoverable. Where disclaimers of warranties are not allowed in
232+
full or in part, this disclaimer may not apply to You.
233+
234+
(b) To the extent possible, in no event will the Licensor be liable
235+
to You on any legal theory (including, without limitation,
236+
negligence) or otherwise for any direct, special, indirect,
237+
incidental, consequential, punitive, exemplary, or other losses,
238+
costs, expenses, or damages arising out of this Public License or
239+
use of the Licensed Material, even if the Licensor has been advised
240+
of the possibility of such losses, costs, expenses, or
241+
damages. Where a limitation of liability is not allowed in full or
242+
in part, this limitation may not apply to You.
243+
244+
(c) The disclaimer of warranties and limitation of liability
245+
provided above shall be interpreted in a manner that, to the extent
246+
possible, most closely approximates an absolute disclaimer and
247+
waiver of all liability.
248+
249+
Section 6 – Term and Termination.
250+
251+
(a) This Public License applies for the term of the Copyright and
252+
Similar Rights licensed here. However, if You fail to comply with
253+
this Public License, then Your rights under this Public License
254+
terminate automatically.
255+
256+
(b) Where Your right to use the Licensed Material has terminated
257+
under Section 6(a), it reinstates:
258+
259+
(1) automatically as of the date the violation is cured, provided
260+
it is cured within 30 days of Your discovery of the violation; or
261+
262+
(2) upon express reinstatement by the Licensor.
263+
264+
For the avoidance of doubt, this Section 6(b) does not affect
265+
any right the Licensor may have to seek remedies for Your violations
266+
of this Public License.
267+
268+
(c) For the avoidance of doubt, the Licensor may also offer the
269+
Licensed Material under separate terms or conditions or stop
270+
distributing the Licensed Material at any time; however, doing so
271+
will not terminate this Public License.
272+
273+
(d) Sections 1, 5, 6, 7, and 8 survive termination of this Public
274+
License.
275+
276+
Section 7 – Other Terms and Conditions.
277+
278+
(a) The Licensor shall not be bound by any additional or different
279+
terms or conditions communicated by You unless expressly agreed.
280+
281+
(b) Any arrangements, understandings, or agreements regarding the
282+
Licensed Material not stated herein are separate from and
283+
independent of the terms and conditions of this Public License.
284+
285+
Section 8 – Interpretation.
286+
287+
(a) For the avoidance of doubt, this Public License does not, and
288+
shall not be interpreted to, reduce, limit, restrict, or impose
289+
conditions on any use of the Licensed Material that could lawfully
290+
be made without permission under this Public License.
291+
292+
(b) To the extent possible, if any provision of this Public License
293+
is deemed unenforceable, it shall be automatically reformed to the
294+
minimum extent necessary to make it enforceable. If the provision
295+
cannot be reformed, it shall be severed from this Public License
296+
without affecting the enforceability of the remaining terms and
297+
conditions.
298+
299+
(c) No term or condition of this Public License will be waived and
300+
no failure to comply consented to unless expressly agreed to by the
301+
Licensor.
302+
303+
(d) Nothing in this Public License constitutes or may be interpreted
304+
as a limitation upon, or waiver of, any privileges and immunities
305+
that apply to the Licensor or You, including from the legal
306+
processes of any jurisdiction or authority.

Makefile

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
# Makefile for ONF documentation created with Sphinx
2+
3+
# use bash for pushd/popd, and to fail quickly. virtualenv's activate
4+
# has undefined variables, so no -u
5+
SHELL = bash -e -o pipefail
6+
7+
# You can set these variables from the command line.
8+
SPHINXOPTS ?=
9+
SPHINXBUILD ?= sphinx-build
10+
SOURCEDIR ?= .
11+
BUILDDIR ?= _build
12+
13+
# Create the virtualenv with all the tools installed
14+
VIRTUALENV = venv-docs
15+
16+
# Put it first so that "make" without argument is like "make help".
17+
help: $(VIRTUALENV)
18+
source ./$(VIRTUALENV)/bin/activate ;\
19+
$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
20+
21+
.PHONY: help lint reload Makefile test
22+
23+
# Create the virtualenv with all the tools installed
24+
$(VIRTUALENV):
25+
python3 -m venv $@ ;\
26+
source ./$@/bin/activate ;\
27+
pip install -r requirements.txt
28+
29+
# lint and link verification. linkcheck is built into sphinx
30+
test: lint spelling linkcheck
31+
32+
# lint all .rst files
33+
lint: $(VIRTUALENV)
34+
source ./$</bin/activate ;\
35+
doc8 --ignore-path $< --ignore-path _build --max-line-length 120 .
36+
37+
# clean up
38+
clean:
39+
rm -rf "$(BUILDDIR)"
40+
41+
# clean-all - delete the virtualenv too
42+
clean-all: clean
43+
rm -rf "$(VIRTUALENV)"
44+
45+
# Catch-all target: route all unknown targets to Sphinx using the new
46+
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
47+
%: $(VIRTUALENV) Makefile
48+
source ./$</bin/activate ; set -u;\
49+
$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

0 commit comments

Comments
 (0)