X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fgroff-font.c;h=d321f2d7f0e563dc55e737173f772a4895c78ba1;hb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;hp=15135aa1a3bdee060d5a2b73e33aa72a93be408c;hpb=f2828f801736701c0294803b5dedd4c4ab63b45e;p=pspp

diff --git a/src/groff-font.c b/src/groff-font.c
index 15135aa1a3..d321f2d7f0 100644
--- a/src/groff-font.c
+++ b/src/groff-font.c
@@ -14,12 +14,12 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA. */
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA. */
 
 #include <config.h>
 #include "font.h"
-#include <assert.h>
+#include "error.h"
 #include <stdio.h>
 #include <errno.h>
 #include <stdlib.h>
@@ -48,12 +48,6 @@ static void add_kern (struct font_desc * font, int ch1, int ch2, int adjust);
 /* Typical whitespace characters for tokenizing. */
 static const char whitespace[] = " \t\n\r\v";
 
-void
-groff_init (void)
-{
-  space_index = font_char_name_to_index ("space");
-}
-
 /* Some notes on the groff_font(8) manpage:
 
    DESC file format: A typical PostScript `res' would be 72000, with
@@ -447,6 +441,20 @@ static struct
   }
 hash;
 
+void
+groff_init (void)
+{
+  space_index = font_char_name_to_index ("space");
+}
+
+void
+groff_done (void)
+{
+  free (hash.tab) ;
+  pool_destroy(hash.ar);
+}
+
+
 /* Searches for NAME in the global character code table, returns the
    index if found; otherwise inserts NAME and returns the new
    index. */