home » dokk/manpages.git
Author zPlus <zplus@peers.community> 2023-07-22 17:26:11
Committer zPlus <zplus@peers.community> 2023-07-22 17:26:11
Commit 4d43de4 (patch)
Tree d8c1ed9
Parent(s)

Add Debian 10 and Debian 11.


commits diff: c886358..4d43de4
2 files changed, 4 insertions, 2 deletions — download


Diffstat
-rwxr-xr-x scripts/Makefile 2
-rwxr-xr-x scripts/rdf.py 4

Diff options
View
Side
Whitespace
Context lines
Inter-hunk lines
+1/-1 M   scripts/Makefile
index 1d81877..3d83416
old size: 2K - new size: 2K
@@ -16,7 +16,7 @@ vars:
16 16 # the HTML output, -only_render_pkgs is a hack that will make debiman render only one
17 17 # page (0ad) and quit.
18 18 download: vars
19 - debiman -sync_codenames="bookworm" -sync_suites= -serving_dir="${DEBIMAN_SERVING_DIR}" -only_render_pkgs="0ad"
19 + debiman -sync_codenames="buster,bullseye,bookworm" -sync_suites= -serving_dir="${DEBIMAN_SERVING_DIR}" -only_render_pkgs="0ad"
20 20
21 21 # Extract downloaded pages since they're compressed by default
22 22 extract: vars
+3/-1 M   scripts/rdf.py
index 8763df6..18e2514
old size: 3K - new size: 3K
@@ -26,7 +26,9 @@ for absolute_file_path in sorted(pathlib.Path(DEBIMAN_SERVING_DIR).glob('**/*.ro
26 26
27 27 # Replace debian codenames with version numbers
28 28 if file_parts[0] == 'debian':
29 - file_parts[1] = file_parts[1].replace('bookworm', '12')
29 + file_parts[1] = file_parts[1].replace('bookworm', '12') \
30 + .replace('bullseye', '11')
31 + .replace('buster', '10')
30 32 file = pathlib.Path(*file_parts)
31 33
32 34 name, section, language = file.name.rsplit('.', 2)