Bug#806995: updated patch

[Christopher Cramer]

This patch adds links to the Scala standard library documentation as well:

diff -urN old/scala-xml-1.0.3/debian/control scala-xml-1.0.3/debian/control
--- old/scala-xml-1.0.3/debian/control	2015-06-22 04:06:53.000000000 -0400
+++ scala-xml-1.0.3/debian/control	2015-12-04 12:43:24.049027920 -0500
@@ -17,3 +17,12 @@
  modern language features.
  .
  This package contains the standard Scala XML library.
+
+Package: scala-xml-doc
+Architecture: all
+Suggests: scala-doc
+Description: Standard Scala XML library documentation
+ Scala is a Java-compatible programming language with many
+ modern language features.
+ .
+ This package contains the documentation for the standard Scala XML library.
diff -urN old/scala-xml-1.0.3/debian/rules scala-xml-1.0.3/debian/rules
--- old/scala-xml-1.0.3/debian/rules	2015-06-17 02:34:34.000000000 -0400
+++ scala-xml-1.0.3/debian/rules	2015-12-04 12:39:29.623769250 -0500
@@ -20,9 +20,11 @@
 	echo "version.number=$(VERSION)"                           >> target/classes/scala-xml.properties
 	
 	jar cfm target/scala-xml.jar debian/manifest -C target/classes .
+	mkdir -p html
+	scaladoc -d html -doc-external-doc:/usr/share/java/scala-library.jar#/usr/share/doc/scala-doc/html/ $(SOURCE_FILES)
 
 override_dh_auto_clean:
-	rm -Rf target
+	rm -Rf target html
 
 get-orig-source:
 	uscan --download-current-version --rename
diff -urN old/scala-xml-1.0.3/debian/scala-xml-doc.docs scala-xml-1.0.3/debian/scala-xml-doc.docs
--- old/scala-xml-1.0.3/debian/scala-xml-doc.docs	1969-12-31 19:00:00.000000000 -0500
+++ scala-xml-1.0.3/debian/scala-xml-doc.docs	2015-12-03 14:51:23.337909178 -0500
@@ -0,0 +1 @@
+html/