From ab2394e3c3816deb85aaa241d0b341b2fc7a5fea Mon Sep 17 00:00:00 2001 From: YugaEgo Date: Wed, 12 Jan 2022 12:31:30 +0200 Subject: [PATCH] * README (:doc-html, :resources): Document new properties --- README | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/README b/README index f05e9e58ac..eafe517fac 100644 --- a/README +++ b/README @@ -184,6 +184,19 @@ Name of the documentation file for the package. It can be either an Info file, a Texinfo file, or an Org file. FILE can also be a list of those. +** =:doc-html= +By default, if =:doc= specification contains a Texinfo file, then HTML +documentation is generated from it; the link to the generated HTML +file is added to the package page. To disable this behavior, set +=:doc-html= to ~ignore~. + +** =:resoures LINKS= +Enables 'Additional Resources' section on the package page. This must +be an association list of the titles and URLs of online resources. +For example: + + (("User Manual" . "https://example.tld/manual.html")) + ** =:make TARGET= Indicates that we should run ~make TARGET~ in order to build some files. This is run before processing =:doc=, so it can be used to generate -- 2.34.1