GRASS 7 manual: index.html not generated any more

[neteler]

Due to some change the index.html is no longer generated. Hence also the online manual is no longer easily accessible.

[glynn]

Replying to neteler:

Due to some change the index.html is no longer generated.

The change in question is r50817

[neteler]

Apparently I have incorrectly interpreted your suggestion:

On Wed, Feb 15, 2012 at 5:08 AM, Glynn Clements <glynn@…> wrote:

Markus Neteler wrote:

• man: Indeed, also in my local compilation I don't have a man/ directory, to be removed from the tar command?

The manual pagers were moved from $GISBASE/man to $GISBASE/docs/man in r49908.

I have reverted r50817 in r50925. Hence the implications of r49908 are unclear to me.

[neteler]

I triggered the GRASS 7 compilation, now the manual is back:

​http://grass.osgeo.org/grass70/manuals/html70_user/index.html

[glynn]

Replying to neteler:

Hence the implications of r49908 are unclear to me.

r49908 moved the destination directory for manual pages. It omitted a necessary change for "make bindist" (which was fixed in r50818), but appears to be otherwise complete. man/Makefile uses MANDIR which is derived from MANBASEDIR which was changed in r49908, so doesn't require any changes.

In spite of the name, the "man" directory in the GRASS source tree relates mainly to the HTML manual pages. It contains the GRASS logo images, the CSS stylesheet, and the Python scripts to build the various HTML indices.

Both the HTML-format and nroff-format manual pages are normally built from the module's Makefile, although man/Makefile will generate any nroff-format pages which are missing. Originally, the nroff-format manual pages were all generated by man/Makefile, but adding it to the standard "html" target ensures that any errors in the <module>.html file will show up if the developer runs "make" in the module directory.