From: Clinton Ebadi Date: Mon, 6 Oct 2014 04:13:45 +0000 (-0400) Subject: Release X-Git-Tag: release_20141006 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/7e198078aa9f5f361a3c625c91452ec4ff26bca3?hp=2a0307b3c1b24fd9b8d2256fe9bb5d8800f1c3f0 Release --- diff --git a/src/plugins/apt.sml b/src/plugins/apt.sml index a7ae93a..da561af 100644 --- a/src/plugins/apt.sml +++ b/src/plugins/apt.sml @@ -44,6 +44,8 @@ fun info name = loop (SOME (String.substring (line, 9, size line - 10)), descr) else if size line >= 13 andalso String.substring (line, 0, 13) = "Description: " then loop (section, SOME (String.substring (line, 13, size line - 14))) + else if size line >= 16 andalso String.substring (line, 0, 16) = "Description-en: " then + loop (section, SOME (String.substring (line, 16, size line - 17))) else loop (section, descr) in