diff --git a/configure b/configure
index 6a796f3..1c406d1 100755
--- a/configure
+++ b/configure
@@ -267,7 +267,7 @@ else
     bindir="${execprefix}/bin"
     fi
     if test x"$docdir" = x""; then
-    docdir="${sharedir}/doc/${tccdir}"
+    docdir="${sharedir}/doc"
     fi
     if test x"$mandir" = x""; then
     mandir="${sharedir}/man"