diff options
| author | Laura Arjona Reina <larjona@debian.org> | 2023-02-11 17:27:28 +0100 |
|---|---|---|
| committer | Laura Arjona Reina <larjona@debian.org> | 2023-02-11 17:27:28 +0100 |
| commit | f45c8ed4f967ca85f8005ee71f1bbb4a7fd37b8f (patch) | |
| tree | e433a31d45c1ab284d6d2a898e69d007aaa97595 /english/doc | |
| parent | cb57b1a15948b25dc38b143a79da6338ae86a8a9 (diff) | |
keep the old naming for the URL where debian-history manual is shown in the website
Diffstat (limited to 'english/doc')
| -rw-r--r-- | english/doc/misc-manuals.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/doc/misc-manuals.defs b/english/doc/misc-manuals.defs index b5aaf116ceb..b763aa7dd4d 100644 --- a/english/doc/misc-manuals.defs +++ b/english/doc/misc-manuals.defs @@ -1,7 +1,7 @@ # Data that can be updated without the need to update translations <define-tag inddpvcs-debian-history whitespace=delete> - <inddpvcs name="debian-history" + <inddpvcs name="project-history" langs="en de es fr it ja ko lt pt ru" formats="html pdf epub txt" srctype="XML" |