[GRASS-dev] trouble with man page generation

[Glynn Clements]

Moritz Lennert wrote:

> I have the feeling the latest change in the man/Makefile [1] has 
> introduced a bug. When I run make in that directory nothing happens. 
> When I use the previous version of the Makefile, man pages get created.

Which version of make are you using?

Also, do the manual pages already exist? They won't be re-created if
they're newer than the HTML files (the previous version would always
re-create them).

-- 
Glynn Clements <glynn at gclements.plus.com>