Bug 5411 – Documentation doesn't get installed

Bug 5411 - Documentation doesn't get installed

Summary:

Documentation doesn't get installed

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note

You need to log in before you can comment on or make changes to this bug.

Description From Tino Vázquez 2007-06-26 09:37:44

In other words, the ./configure --with-docs is broken.

------- Comment #1 From Tino Vázquez 2007-06-26 09:39:29 -------

Added Arthur Carlson as CC.

------- Comment #2 From Tino Vázquez 2007-06-26 12:09:49 -------

The problem is that the ./configure --help reports

--with-docs

when it should report

--with-doc

------- Comment #3 From Ruben S. Montero 2007-06-28 09:14:29 -------

The change should go in the documentation rather than the configure script. So
we have --with-testS and --with-docS

------- Comment #4 From Ruben S. Montero 2007-09-17 06:20:39 -------

Changes committed to gw_5_2_branch