[Gsrc-commit] trunk r2856: update aris to 2.2

[Brandon Invergo]

------------------------------------------------------------
revno: 2856
revision-id: address@hidden
parent: address@hidden
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Sat 2014-03-08 16:48:05 +0000
message:
  update aris to 2.2
modified:
  gnu/aris/Makefile              makefile-20120830202457-6p8wpda70053h877-2
  gnu/aris/sha256sums            sha256sums-20120830202457-6p8wpda70053h877-3

=== modified file 'gnu/aris/Makefile'
--- a/gnu/aris/Makefile 2013-11-09 19:08:16 +0000
+++ b/gnu/aris/Makefile 2014-03-08 16:48:05 +0000
@@ -1,4 +1,4 @@
-# Copyright © 2013 Brandon Invergo <address@hidden>
+# Copyright © 2013, 2014 Brandon Invergo <address@hidden>
 #
 # This file is part of GSRC.
 #
@@ -17,7 +17,7 @@
 
 NAME = Aris
 GARNAME = aris
-GARVERSION = 2.1.1
+GARVERSION = 2.2
 HOME_URL = http://www.gnu.org/software/aris/
 DESCRIPTION = Natural deduction first-order logic interface
 define BLURB
@@ -35,14 +35,17 @@
 MASTER_SUBDIR = $(GARNAME)/
 DISTFILES = $(DISTNAME).tar.gz
 SIGFILES = $(DISTNAME).tar.gz.sig
+INSTALL_SCRIPTS += $(WORKSRC)/Makefile doc
 
 BUILDDEPS =
 LIBDEPS =
 
-USE_AUTORECONF = y
-
 ######################################################################
 
 include ../../gar.lib/info.mk
 include ../../gar.lib/auto.mk
 include config.mk
+
+install-doc:
+       $(INSTALL_INFO) $(WORKSRC)/doc/aris.info
+       $(MAKECOOKIE)

=== modified file 'gnu/aris/sha256sums'
--- a/gnu/aris/sha256sums       2013-09-14 22:42:22 +0000
+++ b/gnu/aris/sha256sums       2014-03-08 16:48:05 +0000
@@ -1,2 +1,2 @@
-f6ea28d9eae9686f922f85cff4e1e63a9998dc2d7535da40c86d28906065768b  
download/aris-2.1.1.tar.gz
-62e49b93b91b5e3ae341ea4ce48c973c9ecb583d1e3ad9f8ebd2e7ec885c2b0d  
download/aris-2.1.1.tar.gz.sig
+f850fa20bddd8aac90aa75b6f27def94e369c23d0c0a5180d52937ecf34128e0  
download/aris-2.2.tar.gz
+8e66fca22f686bf281a0787fdf93ff5999b845b052981443fb0bb4d8b9a8430a  
download/aris-2.2.tar.gz.sig