--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/help2html/stringdict.h	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,15 @@
+struct stringdict;
+
+struct stringdict *stringdict_create(void);
+void stringdict_destroy(struct stringdict *);
+
+void stringdict_reset(struct stringdict *);
+unsigned stringdict_intern(struct stringdict *, const char *);
+unsigned stringdict_internlen(struct stringdict *, 
+			      const char *, size_t len);
+
+unsigned stringdict_count(const struct stringdict *);
+
+const char *stringdict_getbynum(const struct stringdict *, unsigned index);
+unsigned stringdict_findbyname(const struct stringdict *, const char *);
+int stringdict_exists(const struct stringdict *, const char *);