Updated debian build to 1.2.0, include info files

debian/ceylon-1.2.0.postinst

@@ -0,0 +1,51 @@
+#!/bin/sh
+
+VERSION=1.2.0
+INSTALL_LINE="/usr/bin/ceylon ceylon /usr/share/ceylon/$VERSION/bin/ceylon 12000"
+OLD_VERSIONS="1.0.0 1.1.0"
+
+set -e
+
+case "$1" in
+configure)
+	# Remove old symlinks
+	for command in ceylon-js ceylonc ceylonc-js ceylond ceylon-import-jar
+	do
+	    rm -f /usr/bin/$command;
+	done
+	for man in /usr/share/doc/ceylon-$VERSION/man/*
+	do
+	    page=`basename $man`
+	    rm -rf /usr/share/man/man1/$page
+        INSTALL_LINE="$INSTALL_LINE --slave /usr/share/man/man1/$page $page $man"
+	done
+	# Now fix the old versions we have to fix
+    for oldversion in $OLD_VERSIONS
+    do
+        echo "Looking for old man pages to autofix for old version of Ceylon $oldversion"
+        if test -d /usr/share/doc/ceylon-$oldversion/man/
+        then
+            oldprio=`echo "${oldversion}00" | sed 's/\.//g'`
+            oldinstall="/usr/bin/ceylon ceylon /usr/share/ceylon/$oldversion/bin/ceylon $oldprio"
+            echo -n " -> Found"
+            for oldman in /usr/share/doc/ceylon-$oldversion/man/*
+            do
+                oldpage=`basename $oldman`
+                echo -n " $oldpage"
+                update-alternatives --remove $oldpage $oldman
+                oldinstall="$oldinstall --slave /usr/share/man/man1/$oldpage $oldpage $oldman"
+            done
+            echo ": reinstalling alternatives"
+            update-alternatives --remove ceylon /usr/share/ceylon/$oldversion/bin/ceylon
+            update-alternatives --install $oldinstall
+        fi
+    done
+    for inf in /usr/share/doc/ceylon-$VERSION/doc/en/spec/info/*.info*
+    do
+        page=`basename $inf`
+        rm -rf /usr/share/info/$page
+        INSTALL_LINE="$INSTALL_LINE --slave /usr/share/info/$page $page $inf"
+    done
+    update-alternatives --install $INSTALL_LINE
+    update-alternatives --auto ceylon
+esac

debian/ceylon-1.2.0.prerm

@@ -0,0 +1,9 @@
+#!/bin/sh -e
+
+VERSION=1.2.0
+
+if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
+	# this is enough to remove all slave links
+	update-alternatives --remove ceylon /usr/share/ceylon/$VERSION/bin/ceylon
+fi
+

debian/changelog

@@ -1,8 +1,8 @@
-ceylon-1.1.1 (1.1.1) precise; urgency=low
+ceylon-1.2.0 (1.2.0) precise; urgency=low
 
-  * 1.1.1 release
+  * 1.2.0 release
 
- -- Stephane Epardaud <stephane@ceylon-lang.org>  Wed, 29 Oct 2014 09:42:24 +0200
+ -- Stephane Epardaud <stephane@ceylon-lang.org>  Wed, 28 Oct 2014 09:42:24 +0200
 
 ceylon-1.1.0 (1.1.0) precise; urgency=low
 

debian/control

@@ -1,12 +1,12 @@
-Source: ceylon-1.1.1
+Source: ceylon-1.2.0
 Section: unknown
 Priority: extra
 Maintainer: Stephane Epardaud <stephane@lunatech.com>
 Build-Depends: debhelper (>= 7), ant
 Standards-Version: 3.8.3
 Homepage: http://ceylon-lang.org
 
-Package: ceylon-1.1.1
+Package: ceylon-1.2.0
 Architecture: all
 Depends: ${misc:Depends}, java-runtime
 Description: Ceylon language

debian/rules

@@ -7,7 +7,7 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-VERSION=1.1.1
+VERSION=1.2.0
 
 DEB_PATH=debian/ceylon-$(VERSION)
 INSTALL_PATH=/usr/share/ceylon/$(VERSION)