1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Description: upstream: enhance: doc: texmacs-source-manual
Add the _Developers guide_ (Help->Full manuals->Developers guide)
to the list of pre-defined manuals that we can build with the
long-option `--build-manual`.
Origin: vendor, Debian
Forwarded: https://github.com/texmacs/texmacs/pull/101
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2024-08-22
--- a/TeXmacs/progs/utils/test/test-convert.scm
+++ b/TeXmacs/progs/utils/test/test-convert.scm
@@ -166,6 +166,8 @@
(string-append "main/man-reference." lan ".tm"))
((== name "texmacs-scheme-manual")
(string-append "devel/scheme/scheme." lan ".tm"))
+ ((== name "texmacs-source-manual")
+ (string-append "devel/source/source." lan ".tm"))
(else "unknown.en.tm")))
(doc-dir "$TEXMACS_DOC_PATH"))
(if (url-exists? (url-unix doc-dir root))
|
