diff --git a/.gitignore b/.gitignore index 25d3c426..a17eae17 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ /test/index.html /test/**/xspec/ /src/**/*.texi +/conf.xsl *.apply *.info diff --git a/conf.xsl.in b/conf.xsl.in new file mode 100644 index 00000000..22ed9d8b --- /dev/null +++ b/conf.xsl.in @@ -0,0 +1,29 @@ + + + + + + + + diff --git a/configure.ac b/configure.ac index 7088542e..432be627 100644 --- a/configure.ac +++ b/configure.ac @@ -33,7 +33,7 @@ AS_IF(test ! -d "$HOXSL", AC_MSG_ERROR([hoxsl path '$HOXSL' does not exist!])) AC_MSG_RESULT(found) -AC_CONFIG_FILES([Makefile doc/Makefile]) +AC_CONFIG_FILES([Makefile doc/Makefile conf.xsl]) AC_OUTPUT