summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorCedric Nugteren <web@cedricnugteren.nl>2018-03-03 10:43:12 +0100
committerCedric Nugteren <web@cedricnugteren.nl>2018-03-03 10:43:12 +0100
commitbff64917bd5be9005c68e439517fbde06623e616 (patch)
tree2faa9bc3c5a4e54ecf24b242268c9e0949320322 /scripts
parente3384be0d0338b11e7d817d160fcfd62e57f1e27 (diff)
Fixed some small issues regarding PR#253
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/generator/generator.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/generator/generator.py b/scripts/generator/generator.py
index fddfd86e..5ead9b73 100755
--- a/scripts/generator/generator.py
+++ b/scripts/generator/generator.py
@@ -52,7 +52,7 @@ FILES = [
HEADER_LINES = [123, 21, 127, 24, 29, 41, 29, 65, 32, 95, 21, 288]
FOOTER_LINES = [41, 56, 112, 275, 6, 6, 6, 9, 2, 41, 55, 1]
HEADER_LINES_DOC = 0
-FOOTER_LINES_DOC = 123
+FOOTER_LINES_DOC = 158
# Different possibilities for requirements
ald_m = "The value of `a_ld` must be at least `m`."