--- configure.orig	2005-03-06 00:36:12.000000000 +0100
+++ configure	2005-03-06 00:36:37.000000000 +0100
@@ -56,7 +56,7 @@
                       mandir_spec=yes
 		      mandir=$2/man
 		      coqdocdir_spec=yes
-		      coqdocdir=$2/share/texmf/tex/latex/misc
+		      coqdocdir=$2/share/coq/latex
 		      shift;;
     -local|--local) local=true
                     bindir_spec=yes