--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/helpgen/htmlout.c	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,15 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+#include "topic.h"
+#include "helpgen.h"
+
+void htmlout(const char *file, struct topic **topics, int ntopics) {
+  // XXX
+  (void)file;
+  (void)topics;
+  (void)ntopics;
+  fprintf(stderr, "Can't do html output yet\n");
+  exit(1);
+}