diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2013-02-22 13:43:12 -0600 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2013-02-26 08:03:57 -0600 |
commit | 0c59b4bb83ec68cf498f6ebaa5d3ee806c03ed32 (patch) | |
tree | d404f287c735bfb38a9c025eb0a5002a801464b4 /doc/main.am | |
parent | doc: Support texi2any and texi2html (diff) | |
download | rtems-0c59b4bb83ec68cf498f6ebaa5d3ee806c03ed32.tar.bz2 |
doc: Use More Readable Names for Generated Nodes
Per a discussion with the GNU Texinfo maintainer Patrice Dumas,
change to generating HTML files per a standard for stable URL
names and easier cross manual referencing.
http://lists.gnu.org/archive/html/help-texinfo/2013-02/msg00002.html
Diffstat (limited to '')
-rw-r--r-- | doc/main.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/main.am b/doc/main.am index c19f7e6a25..13c58a31ee 100644 --- a/doc/main.am +++ b/doc/main.am @@ -2,8 +2,12 @@ if USE_HTML html_projectdir = $(htmldir)/$(PROJECT) endif +# The arguments are carefully selected to make the output of texi2html +# and texi2any generate into the same directory, using the same naming +# patterns. This is intended to make the dependency tracking and install +# file naming consistent. TEXI2HTML_ARGS=\ --D use-html --split node \ +-D use-html --split node --node-files \ -o ./ \ --top-file index.html \ --init-file=$(top_builddir)/texi2html_init \ |