From fe52de60b081b678cc2bcb5f6d04bafea0d8cd43 Mon Sep 17 00:00:00 2001
From: Sami Samhuri <sami.samhuri@gmail.com>
Date: Wed, 19 Oct 2011 07:28:06 -0700
Subject: [PATCH] decode HTML entities for text format

---
 index.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.php b/index.php
index 6f2502bd..2c496ebd 100644
--- a/index.php
+++ b/index.php
@@ -74,6 +74,7 @@
 if ($format == 'txt') {
   $license = array_shift(explode('</article>', array_pop(explode('<article>', $license))));
   $license = preg_replace('/<[^>]*>/', '', trim($license));
+  $license = html_entity_decode($license);
   header('content-type: text/plain');
 }