Fix handling of --datadir in autoconf and configure

HoTT · Jul 27, 2019 · e2b946f · e2b946f
1 parent 411e247
commit e2b946f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -11,7 +11,7 @@ if make_hoqchk
   bin_SCRIPTS += hoqchk
 endif
 
-hottdir=$(datarootdir)/hott
+hottdir=$(datadir)/hott
 EXTRA_DIST = coq theories etc LICENSE.txt CREDITS.txt INSTALL.txt README.markdown
 
 # The path to the Coq library in $(srcdir)

diff --git a/configure.ac b/configure.ac
@@ -172,7 +172,7 @@ AS_IF([test "x$COQMAKEFILE" = "xno"],
       [AC_MSG_ERROR([Could not find coq_makefile])])
 
 
-hottdir="$datarootdir/hott"
+hottdir="$datadir/hott"
 AC_SUBST([hottdir])
 
 AC_CHECK_PROGS(ETAGS,etags,[: skipping etags])