install manual pages to `docs/man` instead of `man`

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@49908 15284696-431f-4ddb-bdfa-cd5b030d7da7

include/Make/Grass.make

@@ -96,7 +96,7 @@ LFLAGS      = -s
 YFLAGS      = -d -v
 
 MANSECT = 1
-MANBASEDIR = $(ARCH_DISTDIR)/man
+MANBASEDIR = $(ARCH_DISTDIR)/docs/man
 MANDIR = $(MANBASEDIR)/man$(MANSECT)
 HTML2MAN = VERSION_NUMBER=$(GRASS_VERSION_NUMBER) $(GISBASE)/tools/g.html2man.py
 

man/Makefile

@@ -10,7 +10,6 @@ DSTFILES := \
 	$(HTMLDIR)/grass_icon.png \
 	$(HTMLDIR)/nviz/grassdocs.css \
 	$(HTMLDIR)/nviz/grass_logo.png \
-	$(GEM_DST)
 
 categories = \
 	d:display \

scripts/g.manual/g.manual.py

@@ -60,7 +60,7 @@ def start_browser(entry):
     grass.fatal(_("Error starting browser <%s> for HTML file <%s>") % (browser, entry))
     
 def start_man(entry):
-    path = os.path.join(gisbase, 'man', 'man1', entry + '.1')
+    path = os.path.join(gisbase, 'docs', 'man', 'man1', entry + '.1')
     if not os.path.exists(path) and os.getenv('GRASS_ADDON_PATH'):
         path = os.path.join(os.getenv('GRASS_ADDON_PATH'), 'man', 'man1', entry + '.1')