Fixed up build process and added more ignored files

* Makefile.am: Added doc as subdirectory

* configure.ac: Added doc/Makefile as generated Makefile

* doc/Makefile.am (html-local): New rule to rename aris.html/ to aris/

* doc/stamp-vti: Removed auto-generated file.

* doc/version.texi: Removed auto-generated file.

Author: Ian Dunn

.gitignore

@@ -7,12 +7,15 @@ config.log
 config.status
 src/config.h
 autom4te.cache
+build-aux
 
 # Generated during build process
 *.o
 src/aris
 src/.deps
 
 # Generated Documentation
-doc/*/aris/*.html
+doc/aris/*.html
 doc/aris.info
+doc/stamp-vti
+doc/version.texi

Makefile.am

@@ -16,4 +16,4 @@
 #  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 EXTRA_DIST = doc/aris.texi doc/aris.info doc/aris doc/proofs
-SUBDIRS = src
+SUBDIRS = src doc

configure.ac

@@ -47,5 +47,5 @@ if test "$WIN32" = "yes"; then
    AC_DEFINE([WIN32], [], ["Used when compiling for Windows"])
 fi
 
-AC_CONFIG_FILES([Makefile src/Makefile])
+AC_CONFIG_FILES([Makefile src/Makefile doc/Makefile])
 AC_OUTPUT

doc/Makefile.am

@@ -1,3 +1,6 @@
 info_TEXINFOS = aris.texi
 
 EXTRA_DIST = version.texi
+
+html-local:
+	-mv aris.html aris