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/project.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 'doc/project.am')
-rw-r--r-- | doc/project.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/project.am b/doc/project.am index 6a8778bfc5..623394856c 100644 --- a/doc/project.am +++ b/doc/project.am @@ -51,14 +51,14 @@ html_project_DATA += *.html >>>>>>> bdf959d... doc/project.am: Fix whitespace at EOL if USE_TEXI2HTML -index.html $(PROJECT)*.html: $(PROJECT).texi $($(PROJECT)_TEXINFOS) +index.html *.html: $(PROJECT).texi $($(PROJECT)_TEXINFOS) rm -rf $(PROJECT).html $(TEXI2HTML) $(TEXI2HTML_ARGS) --menu $< $< -rm -rf $(PROJECT) MOSTLYCLEANFILES += $(PROJECT)*.html -html_project_DATA += index.html $(PROJECT)*.html +html_project_DATA += *.html endif # USE_TEXI2HTML if USE_TEXI2ANY |