X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffont.h;h=c612c9f47085c06d239678169bf4c7151d24a399;hb=1d985886f778e35f8d89c4e3c897b79fde8de6ed;hp=67c276cd683b2de1b477f52f05868d5877d484b4;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/src/font.h b/src/font.h
index 67c276cd..c612c9f4 100644
--- a/src/font.h
+++ b/src/font.h
@@ -135,6 +135,7 @@ struct font_desc *groff_read_font (const char *fn);
 struct font_desc *groff_find_font (const char *dev, const char *name);
 int groff_read_DESC (const char *dev_name, struct groff_device_info * dev);
 void groff_init (void);
+void groff_done (void);
 
 struct font_desc *default_font (void);