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

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 \

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