--- doc/Makefile.orig	Fri Jan  3 22:45:06 2003
+++ doc/Makefile	Fri Jan  3 22:46:28 2003
@@ -1,8 +1,8 @@
 # Makefile for Gri documentation files.
 
-            DOC_DIR = $(prefix)/share/gri/doc
+            DOC_DIR = $(prefix)/share/doc/gri
            HTML_DIR = $(DOC_DIR)/html
-       EXAMPLES_DIR = $(DOC_DIR)/examples
+       EXAMPLES_DIR = $(prefix)/share/examples/gri
                  RM = rm -f
             REFCARD = refcard
         CMD_REFCARD = cmdrefcard
@@ -17,7 +17,6 @@
 	make html
 
 install:
-	make info-install
 	make html-install
 
 read: