prefer install.texi or htdocs/specific.html?

[Jeffrey A Law]

  In message < 199809191645.JAA05520@atrus.synopsys.com >you write:
  > 
  > >   > I'd like to write it in only one format.
  > > An excellent question!
  > > 
  > > I'd say write it for the web pages.  I think that ought to be the
  > > eventual home for all installation stuff.  Easier to keep up to date,
  > > particularly between releases.
  > 
  > Note that with texi2html, you can write texinfo and get HTML as well
  > as put it into a texinfo manual.
Which would also be fine to me if we could avoid the need for one
to update both the web pages & the gcc source.

That's real the underlying problem that needs to be solved.

jeff