===================================================================
RCS file: /cvs/docbook2mdoc/docbook2mdoc.c,v
retrieving revision 1.72
retrieving revision 1.128
diff -u -p -r1.72 -r1.128
--- docbook2mdoc/docbook2mdoc.c	2019/03/25 17:28:32	1.72
+++ docbook2mdoc/docbook2mdoc.c	2019/04/15 00:34:15	1.128
@@ -1,4 +1,4 @@
-/* $Id: docbook2mdoc.c,v 1.72 2019/03/25 17:28:32 schwarze Exp $ */
+/* $Id: docbook2mdoc.c,v 1.128 2019/04/15 00:34:15 schwarze Exp $ */
 /*
  * Copyright (c) 2014 Kristaps Dzonsons <kristaps@bsd.lv>
  * Copyright (c) 2019 Ingo Schwarze <schwarze@openbsd.org>
@@ -15,817 +15,250 @@
  * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  */
-#include <sys/queue.h>
-
 #include <assert.h>
 #include <ctype.h>
-#include <expat.h>
-#include <fcntl.h>
-#include <getopt.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <unistd.h>
 
-#include "extern.h"
+#include "node.h"
+#include "macro.h"
+#include "format.h"
 
-enum	linestate {
-	LINE_NEW = 0,
-	LINE_TEXT,
-	LINE_MACRO
-};
-
 /*
- * Global parse state.
- * Keep this as simple and small as possible.
+ * The implementation of the mdoc(7) formatter.
  */
-struct	parse {
-	XML_Parser	 xml;
-	enum nodeid	 node; /* current (NODE_ROOT if pre-tree) */
-	const char	*fname; /* filename */
-	int		 stop; /* should we stop now? */
-#define	PARSE_EQN	 1
-	unsigned int	 flags; /* document-wide flags */
-	struct pnode	*root; /* root of parse tree */
-	struct pnode	*cur; /* current node in tree */
-	int		 level; /* header level, starting at 1 */
-	enum linestate	 linestate;
-};
 
-struct	node {
-	const char	*name; /* docbook element name */
-	enum nodeid	 node; /* docbook element to generate */
-};
+static void	 pnode_print(struct format *, struct pnode *);
+static void	 pnode_printrefentry(struct format *, struct pnode *);
 
-TAILQ_HEAD(pnodeq, pnode);
-TAILQ_HEAD(pattrq, pattr);
 
-struct	pattr {
-	enum attrkey	 key;
-	enum attrval	 val;
-	char		*rawval;
-	TAILQ_ENTRY(pattr) child;
-};
-
-struct	pnode {
-	enum nodeid	 node; /* node type */
-	char		*b; /* binary data buffer */
-	char		*real; /* store for "b" */
-	size_t		 bsz; /* data buffer size */
-	struct pnode	*parent; /* parent (or NULL if top) */
-	struct pnodeq	 childq; /* queue of children */
-	struct pattrq	 attrq; /* attributes of node */
-	TAILQ_ENTRY(pnode) child;
-};
-
-static	const char *attrkeys[ATTRKEY__MAX] = {
-	"choice",
-	"class",
-	"close",
-	"id",
-	"linkend",
-	"open",
-	"rep"
-};
-
-static	const char *attrvals[ATTRVAL__MAX] = {
-	"monospaced",
-	"norepeat",
-	"opt",
-	"plain",
-	"repeat",
-	"req"
-};
-
-static	const struct node nodes[] = {
-	{ "acronym",		NODE_ACRONYM },
-	{ "affiliation",	NODE_AFFILIATION },
-	{ "anchor",		NODE_ANCHOR },
-	{ "application",	NODE_APPLICATION },
-	{ "arg",		NODE_ARG },
-	{ "author",		NODE_AUTHOR },
-	{ "authorgroup",	NODE_AUTHORGROUP },
-	{ "blockquote",		NODE_BLOCKQUOTE },
-	{ "book",		NODE_BOOK },
-	{ "bookinfo",		NODE_BOOKINFO },
-	{ "caution",		NODE_CAUTION },
-	{ "chapter",		NODE_SECTION },
-	{ "citerefentry",	NODE_CITEREFENTRY },
-	{ "citetitle",		NODE_CITETITLE },
-	{ "cmdsynopsis",	NODE_CMDSYNOPSIS },
-	{ "code",		NODE_CODE },
-	{ "colspec",		NODE_COLSPEC },
-	{ "command",		NODE_COMMAND },
-	{ "constant",		NODE_CONSTANT },
-	{ "copyright",		NODE_COPYRIGHT },
-	{ "date",		NODE_DATE },
-	{ "editor",		NODE_EDITOR },
-	{ "email",		NODE_EMAIL },
-	{ "emphasis",		NODE_EMPHASIS },
-	{ "entry",		NODE_ENTRY },
-	{ "envar",		NODE_ENVAR },
-	{ "fieldsynopsis",	NODE_FIELDSYNOPSIS },
-	{ "filename",		NODE_FILENAME },
-	{ "firstname",		NODE_FIRSTNAME },
-	{ "firstterm",		NODE_FIRSTTERM },
-	{ "footnote",		NODE_FOOTNOTE },
-	{ "funcdef",		NODE_FUNCDEF },
-	{ "funcprototype",	NODE_FUNCPROTOTYPE },
-	{ "funcsynopsis",	NODE_FUNCSYNOPSIS },
-	{ "funcsynopsisinfo",	NODE_FUNCSYNOPSISINFO },
-	{ "function",		NODE_FUNCTION },
-	{ "glossterm",		NODE_GLOSSTERM },
-	{ "group",		NODE_GROUP },
-	{ "holder",		NODE_HOLDER },
-	{ "index",		NODE_INDEX },
-	{ "indexterm",		NODE_INDEXTERM },
-	{ "info",		NODE_INFO },
-	{ "informalequation",	NODE_INFORMALEQUATION },
-	{ "informaltable",	NODE_INFORMALTABLE },
-	{ "inlineequation",	NODE_INLINEEQUATION },
-	{ "itemizedlist",	NODE_ITEMIZEDLIST },
-	{ "keysym",		NODE_KEYSYM },
-	{ "legalnotice",	NODE_LEGALNOTICE },
-	{ "link",		NODE_LINK },
-	{ "listitem",		NODE_LISTITEM },
-	{ "literal",		NODE_LITERAL },
-	{ "literallayout",	NODE_LITERALLAYOUT },
-	{ "manvolnum",		NODE_MANVOLNUM },
-	{ "member",		NODE_MEMBER },
-	{ "mml:math",		NODE_MML_MATH },
-	{ "mml:mfenced",	NODE_MML_MFENCED },
-	{ "mml:mfrac",		NODE_MML_MFRAC },
-	{ "mml:mi",		NODE_MML_MI },
-	{ "mml:mn",		NODE_MML_MN },
-	{ "mml:mo",		NODE_MML_MO },
-	{ "mml:mrow",		NODE_MML_MROW },
-	{ "mml:msub",		NODE_MML_MSUB },
-	{ "mml:msup",		NODE_MML_MSUP },
-	{ "modifier",		NODE_MODIFIER },
-	{ "note",		NODE_NOTE },
-	{ "option",		NODE_OPTION },
-	{ "orderedlist",	NODE_ORDEREDLIST },
-	{ "orgname",		NODE_ORGNAME },
-	{ "othername",		NODE_OTHERNAME },
-	{ "para",		NODE_PARA },
-	{ "paramdef",		NODE_PARAMDEF },
-	{ "parameter",		NODE_PARAMETER },
-	{ "part",		NODE_SECTION },
-	{ "personname",		NODE_PERSONNAME },
-	{ "phrase",		NODE_PHRASE },
-	{ "preface",		NODE_PREFACE },
-	{ "primary",		NODE_PRIMARY },
-	{ "programlisting",	NODE_PROGRAMLISTING },
-	{ "prompt",		NODE_PROMPT },
-	{ "quote",		NODE_QUOTE },
-	{ "refclass",		NODE_REFCLASS },
-	{ "refdescriptor",	NODE_REFDESCRIPTOR },
-	{ "refentry",		NODE_REFENTRY },
-	{ "refentryinfo",	NODE_REFENTRYINFO },
-	{ "refentrytitle",	NODE_REFENTRYTITLE },
-	{ "refmeta",		NODE_REFMETA },
-	{ "refmetainfo",	NODE_REFMETAINFO },
-	{ "refmiscinfo",	NODE_REFMISCINFO },
-	{ "refname",		NODE_REFNAME },
-	{ "refnamediv",		NODE_REFNAMEDIV },
-	{ "refpurpose",		NODE_REFPURPOSE },
-	{ "refsect1",		NODE_SECTION },
-	{ "refsect2",		NODE_SECTION },
-	{ "refsect3",		NODE_SECTION },
-	{ "refsection",		NODE_SECTION },
-	{ "refsynopsisdiv",	NODE_REFSYNOPSISDIV },
-	{ "releaseinfo",	NODE_RELEASEINFO },
-	{ "replaceable",	NODE_REPLACEABLE },
-	{ "row",		NODE_ROW },
-	{ "sbr",		NODE_SBR },
-	{ "screen",		NODE_SCREEN },
-	{ "secondary",		NODE_SECONDARY },
-	{ "sect1",		NODE_SECTION },
-	{ "sect2",		NODE_SECTION },
-	{ "section",		NODE_SECTION },
-	{ "sgmltag",		NODE_SGMLTAG },
-	{ "simplelist",		NODE_SIMPLELIST },
-	{ "spanspec",		NODE_SPANSPEC },
-	{ "structname",		NODE_STRUCTNAME },
-	{ "subtitle",		NODE_SUBTITLE },
-	{ "surname",		NODE_SURNAME },
-	{ "synopsis",		NODE_SYNOPSIS },
-	{ "table",		NODE_TABLE },
-	{ "tbody",		NODE_TBODY },
-	{ "term",		NODE_TERM },
-	{ "tfoot",		NODE_TFOOT },
-	{ "tgroup",		NODE_TGROUP },
-	{ "thead",		NODE_THEAD },
-	{ "tip",		NODE_TIP },
-	{ "title",		NODE_TITLE },
-	{ "trademark",		NODE_TRADEMARK },
-	{ "type",		NODE_TYPE },
-	{ "ulink",		NODE_ULINK },
-	{ "userinput",		NODE_USERINPUT },
-	{ "variablelist",	NODE_VARIABLELIST },
-	{ "varlistentry",	NODE_VARLISTENTRY },
-	{ "varname",		NODE_VARNAME },
-	{ "warning",		NODE_WARNING },
-	{ "wordasword",		NODE_WORDASWORD },
-	{ "year",		NODE_YEAR },
-	{ NULL,			NODE__MAX }
-};
-
-static	int warn = 0;
-
 static void
-pnode_print(struct parse *p, struct pnode *pn);
-
-/*
- * Process a stream of characters.
- * We store text as nodes in and of themselves.
- * If a text node is already open, append to it.
- * If it's not open, open one under the current context.
- */
-static void
-xml_char(void *arg, const XML_Char *p, int sz)
+pnode_printtext(struct format *f, struct pnode *n)
 {
-	struct parse	*ps = arg;
-	struct pnode	*dat;
-	int		 i;
+	struct pnode	*nn;
+	char		*cp;
+	int		 accept_arg;
 
-	/* Stopped or no tree yet. */
-	if (ps->stop || ps->node == NODE_ROOT)
-		return;
-
-	assert(ps->cur != NULL);
-
-	/*
-	 * Are we in the midst of processing text?
-	 * If we're not processing text right now, then create a text
-	 * node for doing so.
-	 * However, don't do so unless we have some non-whitespace to
-	 * process: strip out all leading whitespace to be sure.
-	 */
-	if (ps->node != NODE_TEXT) {
-		for (i = 0; i < sz; i++)
-			if ( ! isspace((unsigned char)p[i]))
+	cp = n->b;
+	accept_arg = f->flags & FMT_ARG;
+	if (f->linestate == LINE_MACRO && !n->spc && !accept_arg) {
+		for (;;) {
+			if (*cp == '\0')
+				return;
+			if (strchr("!),.:;?]", *cp) == NULL)
 				break;
-		if (i == sz)
-			return;
-		p += i;
-		sz -= i;
-		dat = calloc(1, sizeof(*dat));
-		if (dat == NULL) {
-			perror(NULL);
-			exit(1);
+			printf(" %c", *cp++);
 		}
-
-		dat->node = ps->node = NODE_TEXT;
-		dat->parent = ps->cur;
-		TAILQ_INIT(&dat->childq);
-		TAILQ_INIT(&dat->attrq);
-		TAILQ_INSERT_TAIL(&ps->cur->childq, dat, child);
-		ps->cur = dat;
-		assert(ps->root != NULL);
+		if (isspace((unsigned char)*cp)) {
+			while (isspace((unsigned char)*cp))
+				cp++;
+			macro_close(f);
+		} else {
+			fputs(" Ns", stdout);
+			f->flags &= FMT_IMPL;
+			accept_arg = 1;
+		}
 	}
+	if (f->linestate == LINE_MACRO && !accept_arg &&
+	    (f->flags & (FMT_CHILD | FMT_IMPL)) == 0)
+		macro_close(f);
 
-	/* Append to current buffer. */
-	assert(sz >= 0);
-	ps->cur->b = realloc(ps->cur->b, ps->cur->bsz + sz + 1);
-	if (ps->cur->b == NULL) {
-		perror(NULL);
-		exit(1);
-	}
-	memcpy(ps->cur->b + ps->cur->bsz, p, sz);
-	ps->cur->bsz += sz;
-	ps->cur->b[ps->cur->bsz] = '\0';
-	ps->cur->real = ps->cur->b;
-}
+	/*
+	 * Text preceding a macro without intervening whitespace
+	 * requires a .Pf macro.
+	 * Set the spacing flag to avoid a redundant .Ns macro.
+	 */
 
-static void
-pnode_trim(struct pnode *pn)
-{
-	assert(pn->node == NODE_TEXT);
-	for (; pn->bsz > 0; pn->b[--pn->bsz] = '\0')
-		if ( ! isspace((unsigned char)pn->b[pn->bsz - 1]))
+	if (f->linestate != LINE_MACRO &&
+	    (nn = TAILQ_NEXT(n, child)) != NULL && nn->spc == 0) {
+		switch (pnode_class(nn->node)) {
+		case CLASS_LINE:
+		case CLASS_ENCL:
+			macro_open(f, "Pf");
+			accept_arg = 1;
+			f->flags |= FMT_CHILD;
+			nn->spc = 1;
 			break;
-}
-
-/*
- * Begin an element.
- * First, look for the element.
- * If we don't find it and we're not parsing, keep going.
- * If we don't find it and we're parsing, puke and exit.
- * If we find it but we're not parsing yet (i.e., it's not a refentry
- * and thus out of context), keep going.
- * If we find it and we're at the root and already have a tree, puke and
- * exit (FIXME: I don't think this is right?).
- * If we find it but we're parsing a text node, close out the text node,
- * return to its parent, and keep going.
- * Make sure that the element is in the right context.
- * Lastly, put the node onto our parse tree and continue.
- */
-static void
-xml_elem_start(void *arg, const XML_Char *name, const XML_Char **atts)
-{
-	struct parse	 *ps = arg;
-	const struct node *node;
-	enum attrkey	  key;
-	enum attrval	  val;
-	struct pnode	 *dat;
-	struct pattr	 *pattr;
-	const XML_Char	**att;
-
-	/* FIXME: find a better way to ditch other namespaces. */
-	if (ps->stop || strcmp(name, "xi:include") == 0)
-		return;
-
-	/* Close out text node, if applicable... */
-	if (ps->node == NODE_TEXT) {
-		pnode_trim(ps->cur);
-		ps->cur = ps->cur->parent;
-		ps->node = ps->cur->node;
-	}
-
-	for (node = nodes; node->name != NULL; node++)
-		if (strcmp(node->name, name) == 0)
+		default:
 			break;
-
-	if (node->name == NULL) {
-		if (ps->node == NODE_ROOT)
-			return;
-		fprintf(stderr, "%s:%zu:%zu: unknown node \"%s\"\n",
-			ps->fname, XML_GetCurrentLineNumber(ps->xml),
-			XML_GetCurrentColumnNumber(ps->xml), name);
-		ps->stop = 1;
-		return;
-	} else if (ps->node == NODE_ROOT && ps->root != NULL) {
-		fprintf(stderr, "%s:%zu:%zu: multiple refentries\n",
-			ps->fname, XML_GetCurrentLineNumber(ps->xml),
-			XML_GetCurrentColumnNumber(ps->xml));
-		ps->stop = 1;
-		return;
-	}
-
-	if (node->node == NODE_INLINEEQUATION)
-		ps->flags |= PARSE_EQN;
-
-	if ((dat = calloc(1, sizeof(*dat))) == NULL) {
-		perror(NULL);
-		exit(1);
-	}
-
-	dat->node = ps->node = node->node;
-	dat->parent = ps->cur;
-	TAILQ_INIT(&dat->childq);
-	TAILQ_INIT(&dat->attrq);
-
-	if (ps->cur != NULL)
-		TAILQ_INSERT_TAIL(&ps->cur->childq, dat, child);
-
-	ps->cur = dat;
-	if (ps->root == NULL)
-		ps->root = dat;
-
-	/*
-	 * Process attributes.
-	 */
-	for (att = atts; *att != NULL; att += 2) {
-		for (key = 0; key < ATTRKEY__MAX; key++)
-			if (strcmp(*att, attrkeys[key]) == 0)
-				break;
-		if (key == ATTRKEY__MAX) {
-			if (warn)
-				fprintf(stderr, "%s:%zu:%zu: warning: "
-					"unknown attribute \"%s\"\n",
-					ps->fname,
-					XML_GetCurrentLineNumber(ps->xml),
-					XML_GetCurrentColumnNumber(ps->xml),
-					*att);
-			continue;
 		}
-		for (val = 0; val < ATTRVAL__MAX; val++)
-			if (strcmp(att[1], attrvals[val]) == 0)
-				break;
-		pattr = calloc(1, sizeof(*pattr));
-		pattr->key = key;
-		pattr->val = val;
-		if (val == ATTRVAL__MAX)
-			pattr->rawval = strdup(att[1]);
-		TAILQ_INSERT_TAIL(&dat->attrq, pattr, child);
 	}
 
-}
-
-/*
- * Roll up the parse tree.
- * If we're at a text node, roll that one up first.
- * If we hit the root, then assign ourselves as the NODE_ROOT.
- */
-static void
-xml_elem_end(void *arg, const XML_Char *name)
-{
-	struct parse	*ps = arg;
-
-	/* FIXME: find a better way to ditch other namespaces. */
-	if (ps->stop || ps->node == NODE_ROOT)
-		return;
-	else if (strcmp(name, "xi:include") == 0)
-		return;
-
-	/* Close out text node, if applicable... */
-	if (ps->node == NODE_TEXT) {
-		pnode_trim(ps->cur);
-		ps->cur = ps->cur->parent;
-		ps->node = ps->cur->node;
-	}
-
-	if ((ps->cur = ps->cur->parent) == NULL)
-		ps->node = NODE_ROOT;
-	else
-		ps->node = ps->cur->node;
-}
-
-/*
- * Recursively free a node (NULL is ok).
- */
-static void
-pnode_free(struct pnode *pn)
-{
-	struct pnode	*pp;
-	struct pattr	*ap;
-
-	if (pn == NULL)
-		return;
-
-	while ((pp = TAILQ_FIRST(&pn->childq)) != NULL) {
-		TAILQ_REMOVE(&pn->childq, pp, child);
-		pnode_free(pp);
-	}
-
-	while ((ap = TAILQ_FIRST(&pn->attrq)) != NULL) {
-		TAILQ_REMOVE(&pn->attrq, ap, child);
-		free(ap->rawval);
-		free(ap);
-	}
-
-	free(pn->real);
-	free(pn);
-}
-
-/*
- * Unlink a node from its parent and pnode_free() it.
- */
-static void
-pnode_unlink(struct pnode *pn)
-{
-	if (pn->parent != NULL)
-		TAILQ_REMOVE(&pn->parent->childq, pn, child);
-	pnode_free(pn);
-}
-
-/*
- * Unlink all children of a node and pnode_free() them.
- */
-static void
-pnode_unlinksub(struct pnode *pn)
-{
-
-	while ( ! TAILQ_EMPTY(&pn->childq))
-		pnode_unlink(TAILQ_FIRST(&pn->childq));
-}
-
-/*
- * Retrieve an enumeration attribute from a node.
- * Return ATTRVAL__MAX if the node has no such attribute.
- */
-enum attrval
-pnode_getattr(struct pnode *pn, enum attrkey key)
-{
-	struct pattr	*ap;
-
-	TAILQ_FOREACH(ap, &pn->attrq, child)
-		if (ap->key == key)
-			return ap->val;
-	return ATTRVAL__MAX;
-}
-
-/*
- * Retrieve an attribute string from a node.
- * Return defval if the node has no such attribute.
- */
-const char *
-pnode_getattr_raw(struct pnode *pn, enum attrkey key, const char *defval)
-{
-	struct pattr	*ap;
-
-	TAILQ_FOREACH(ap, &pn->attrq, child)
-		if (ap->key == key)
-			return ap->val == ATTRVAL__MAX ? ap->rawval :
-			    attrvals[ap->val];
-	return defval;
-}
-
-/*
- * Recursively search and return the first instance of "node".
- */
-static struct pnode *
-pnode_findfirst(struct pnode *pn, enum nodeid node)
-{
-	struct pnode	*pp, *res;
-
-	res = NULL;
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		res = pp->node == node ? pp :
-			pnode_findfirst(pp, node);
-		if (res != NULL)
-			break;
-	}
-
-	return res;
-}
-
-static void
-macro_open(struct parse *p, const char *name)
-{
-	switch (p->linestate) {
-	case LINE_TEXT:
-		putchar('\n');
-		/* FALLTHROUGH */
+	switch (f->linestate) {
 	case LINE_NEW:
-		putchar('.');
-		p->linestate = LINE_MACRO;
 		break;
-	case LINE_MACRO:
-		putchar(' ');
-		break;
-	}
-	fputs(name, stdout);
-}
-
-static void
-macro_close(struct parse *p)
-{
-	assert(p->linestate == LINE_MACRO);
-	putchar('\n');
-	p->linestate = LINE_NEW;
-}
-
-static void
-macro_line(struct parse *p, const char *name)
-{
-	macro_open(p, name);
-	macro_close(p);
-}
-
-#define	ARG_SPACE	1  /* Insert whitespace before this argument. */
-#define	ARG_SINGLE	2  /* Quote argument if it contains whitespace. */
-#define	ARG_QUOTED	4  /* We are already in a quoted argument. */
-#define	ARG_UPPER	8  /* Covert argument to upper case. */
-/*
- * Print an argument string on a macro line, collapsing whitespace.
- */
-static void
-macro_addarg(struct parse *p, const char *arg, int flags)
-{
-	const char	*cp;
-
-	assert(p->linestate == LINE_MACRO);
-
-	/* Quote if requested and necessary. */
-
-	if ((flags & (ARG_SINGLE | ARG_QUOTED)) == ARG_SINGLE) {
-		for (cp = arg; *cp != '\0'; cp++)
-			if (isspace((unsigned char)*cp))
-				break;
-		if (*cp != '\0') {
-			if (flags & ARG_SPACE) {
+	case LINE_TEXT:
+		if (n->spc) {
+			if (n->node == NODE_TEXT)
+				macro_close(f);
+			else
 				putchar(' ');
-				flags &= ~ ARG_SPACE;
-			}
-			putchar('"');
-			flags = ARG_QUOTED;
 		}
-	}
-
-	for (cp = arg; *cp != '\0'; cp++) {
-
-		/* Collapse whitespace. */
-
-		if (isspace((unsigned char)*cp)) {
-			flags |= ARG_SPACE;
-			continue;
-		} else if (flags & ARG_SPACE) {
+		break;
+	case LINE_MACRO:
+		if (accept_arg)
 			putchar(' ');
-			flags &= ~ ARG_SPACE;
-		}
-
-		/* Escape us if we look like a macro. */
-
-		if ((flags & ARG_QUOTED) == 0 &&
-		    (cp == arg || isspace((unsigned char)cp[-1])) &&
-		    isupper((unsigned char)cp[0]) &&
-		    islower((unsigned char)cp[1]) &&
-		    (cp[2] == '\0' || cp[2] == ' ' ||
-		     (islower((unsigned char)cp[2]) &&
-		      (cp[3] == '\0' || cp[3] == ' '))))
-			fputs("\\&", stdout);
-
-		if (*cp == '"')
-			fputs("\\(dq", stdout);
-		else if (flags & ARG_UPPER)
-			putchar(toupper((unsigned char)*cp));
 		else
-			putchar(*cp);
-		if (*cp == '\\')
-			putchar('e');
+			macro_close(f);
+		break;
 	}
-}
 
-static void
-macro_argline(struct parse *p, const char *name, const char *arg)
-{
-	macro_open(p, name);
-	macro_addarg(p, arg, ARG_SPACE);
-	macro_close(p);
-}
-
-/*
- * Recursively append text from the children of a node to a macro line.
- */
-static void
-macro_addnode(struct parse *p, struct pnode *pn, int flags)
-{
-	int		 quote_now;
-
-	assert(p->linestate == LINE_MACRO);
-
-	/*
-	 * If the only child is a text node, just add that text,
-	 * letting macro_addarg() decide about quoting.
-	 */
-
-	pn = TAILQ_FIRST(&pn->childq);
-	if (pn != NULL && pn->node == NODE_TEXT &&
-	    TAILQ_NEXT(pn, child) == NULL) {
-		macro_addarg(p, pn->b, flags);
+	if (n->node == NODE_ESCAPE) {
+		fputs(n->b, stdout);
+		if (f->linestate == LINE_NEW)
+			f->linestate = LINE_TEXT;
 		return;
 	}
 
 	/*
-	 * If we want the argument quoted and are not already
-	 * in a quoted context, quote now.
+	 * Remove the prefix '-' from <option> elements
+	 * because the arguments of .Fl macros do not need it.
 	 */
 
-	quote_now = 0;
-	if (flags & ARG_SINGLE) {
-		if ((flags & ARG_QUOTED) == 0) {
-			if (flags & ARG_SPACE) {
-				putchar(' ');
-				flags &= ~ARG_SPACE;
-			}
-			putchar('"');
-			flags |= ARG_QUOTED;
-			quote_now = 1;
-		}
-		flags &= ~ARG_SINGLE;
-	}
+	if (n->parent != NULL && n->parent->node == NODE_OPTION && *cp == '-')
+		cp++;
 
-	/*
-	 * Iterate to child and sibling nodes,
-	 * inserting whitespace between nodes.
-	 */
-
-	while (pn != NULL) {
-		if (pn->node == NODE_TEXT)
-			macro_addarg(p, pn->b, flags);
-		else
-			macro_addnode(p, pn, flags);
-		pn = TAILQ_NEXT(pn, child);
-		flags |= ARG_SPACE;
-	}
-	if (quote_now)
-		putchar('"');
+	if (f->linestate == LINE_MACRO)
+		macro_addarg(f, cp, 0);
+	else
+		print_text(f, cp, 0);
 }
 
 static void
-macro_nodeline(struct parse *p, const char *name, struct pnode *pn, int flags)
+pnode_printimagedata(struct format *f, struct pnode *n)
 {
-	macro_open(p, name);
-	macro_addnode(p, pn, ARG_SPACE | flags);
-	macro_close(p);
-}
+	const char	*cp;
 
-/*
- * If the next node is a text node starting with closing punctuation,
- * emit the closing punctuation as a trailing macro argument.
- */
-static void
-macro_closepunct(struct parse *p, struct pnode *pn)
-{
-	if ((pn = TAILQ_NEXT(pn, child)) != NULL &&
-	    pn->node == NODE_TEXT && pn->bsz > 0 &&
-	    (pn->b[0] == ',' || pn->b[0] == '.') &&
-	    (pn->bsz == 1 || isspace((unsigned char)pn->b[1]))) {
-		putchar(' ');
-		putchar(pn->b[0]);
-		pn->b++;
-		pn->bsz--;
-	}
-	macro_close(p);
+	if ((cp = pnode_getattr_raw(n, ATTRKEY_FILEREF, NULL)) == NULL)
+		cp = pnode_getattr_raw(n, ATTRKEY_ENTITYREF, NULL);
+	if (cp != NULL) {
+		print_text(f, "[image:", ARG_SPACE);
+		print_text(f, cp, ARG_SPACE);
+		print_text(f, "]", 0);
+	} else
+		print_text(f, "[image]", ARG_SPACE);
 }
 
 static void
-print_text(struct parse *p, const char *word)
+pnode_printpara(struct format *f, struct pnode *n)
 {
-	switch (p->linestate) {
-	case LINE_NEW:
-		break;
-	case LINE_TEXT:
-		putchar(' ');
-		break;
-	case LINE_MACRO:
-		macro_close(p);
-		break;
-	}
-	fputs(word, stdout);
-	p->linestate = LINE_TEXT;
-}
+	struct pnode	*np;
 
-static void
-pnode_printpara(struct parse *p, struct pnode *pn)
-{
-	struct pnode	*pp;
-
-	if ((pp = TAILQ_PREV(pn, pnodeq, child)) == NULL &&
-	    (pp = pn->parent) == NULL)
+	if (n->parent == NULL)
 		return;
 
-	switch (pp->node) {
+	if ((np = TAILQ_PREV(n, pnodeq, child)) == NULL)
+	    np = n->parent;
+
+	f->flags = 0;
+
+	switch (np->node) {
 	case NODE_ENTRY:
+	case NODE_FOOTNOTE:
+	case NODE_GLOSSTERM:
 	case NODE_LISTITEM:
+	case NODE_TERM:
 		return;
+	case NODE_APPENDIX:
+	case NODE_LEGALNOTICE:
 	case NODE_PREFACE:
 	case NODE_SECTION:
-		if (p->level < 3)
+		if (f->level < 3)
 			return;
 		break;
 	default:
 		break;
 	}
-	macro_line(p, "Pp");
+	macro_line(f, "Pp");
 }
 
+static void
+pnode_printrefnamediv(struct format *f, struct pnode *n)
+{
+	struct pnode	*nc, *nn;
+	int		 comma;
+
+	macro_line(f, "Sh NAME");
+	comma = 0;
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn) {
+		if (nc->node != NODE_REFNAME)
+			continue;
+		if (comma)
+			macro_addarg(f, ",", ARG_SPACE);
+		macro_open(f, "Nm");
+		macro_addnode(f, nc, ARG_SPACE);
+		pnode_unlink(nc);
+		comma = 1;
+	}
+	macro_close(f);
+}
+
 /*
  * If the SYNOPSIS macro has a superfluous title, kill it.
  */
 static void
-pnode_printrefsynopsisdiv(struct parse *p, struct pnode *pn)
+pnode_printrefsynopsisdiv(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *pq;
+	struct pnode	*nc, *nn;
 
-	TAILQ_FOREACH_SAFE(pp, &pn->childq, child, pq)
-		if (pp->node == NODE_TITLE)
-			pnode_unlink(pp);
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn)
+		if (nc->node == NODE_TITLE)
+			pnode_unlink(nc);
 
-	macro_line(p, "Sh SYNOPSIS");
+	macro_line(f, "Sh SYNOPSIS");
 }
 
 /*
  * Start a hopefully-named `Sh' section.
  */
 static void
-pnode_printrefsect(struct parse *p, struct pnode *pn)
+pnode_printsection(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc, *ncc;
 	const char	*title;
 	int		 flags, level;
 
-	if (pn->parent == NULL)
+	if (n->parent == NULL) {
+		pnode_printrefentry(f, n);
 		return;
+	}
 
-	level = ++p->level;
+	level = ++f->level;
 	flags = ARG_SPACE;
-	if (level == 1)
-		flags |= ARG_UPPER;
-	if (level < 3) {
-		switch (pn->node) {
-		case NODE_CAUTION:
-		case NODE_NOTE:
-		case NODE_TIP:
-		case NODE_WARNING:
+	switch (n->node) {
+	case NODE_PREFACE:
+	case NODE_SECTION:
+	case NODE_APPENDIX:
+		if (level == 1)
+			flags |= ARG_UPPER;
+		break;
+	case NODE_SIMPLESECT:
+	case NODE_LEGALNOTICE:
+		if (level < 2)
+			level = 2;
+		break;
+	default:
+		if (level < 3)
 			level = 3;
-			break;
-		default:
-			break;
-		}
+		break;
 	}
 
-	TAILQ_FOREACH(pp, &pn->childq, child)
-		if (pp->node == NODE_TITLE)
+	TAILQ_FOREACH(nc, &n->childq, child)
+		if (nc->node == NODE_TITLE)
 			break;
 
-	if (pp == NULL) {
-		switch (pn->node) {
+	if (nc == NULL) {
+		switch (n->node) {
 		case NODE_PREFACE:
 			title = "Preface";
 			break;
+		case NODE_APPENDIX:
+			title = "Appendix";
+			break;
+		case NODE_LEGALNOTICE:
+			title = "Legal Notice";
+			break;
 		case NODE_CAUTION:
 			title = "Caution";
 			break;
@@ -846,100 +279,80 @@ pnode_printrefsect(struct parse *p, struct pnode *pn)
 
 	switch (level) {
 	case 1:
-		macro_open(p, "Sh");
+		macro_close(f);
+		macro_open(f, "Sh");
 		break;
 	case 2:
-		macro_open(p, "Ss");
+		macro_close(f);
+		macro_open(f, "Ss");
 		break;
 	default:
-		pnode_printpara(p, pn);
-		macro_open(p, "Sy");
+		pnode_printpara(f, n);
+		macro_open(f, "Sy");
 		break;
 	}
 
-	if (pp != NULL) {
-		macro_addnode(p, pp, flags);
-		pnode_unlink(pp);
-	} else
-		macro_addarg(p, title, ARG_SPACE | ARG_QUOTED);
-	macro_close(p);
+	if (nc != NULL)
+		macro_addnode(f, nc, flags);
+	else
+		macro_addarg(f, title, flags | ARG_QUOTED);
+	macro_close(f);
+
+	/*
+	 * DocBook has no equivalent for -split mode,
+	 * so just switch the default in the AUTHORS section.
+	 */
+
+	if (nc != NULL) {
+		ncc = TAILQ_FIRST(&nc->childq);
+		if (ncc != NULL && ncc->node == NODE_TEXT &&
+		    strcasecmp(ncc->b, "AUTHORS") == 0)
+			macro_line(f, "An -nosplit");
+		pnode_unlink(nc);
+	}
 }
 
 /*
  * Start a reference, extracting the title and volume.
  */
 static void
-pnode_printciterefentry(struct parse *p, struct pnode *pn)
+pnode_printciterefentry(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *title, *manvol;
+	struct pnode	*nc, *title, *manvol;
 
 	title = manvol = NULL;
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node == NODE_MANVOLNUM)
-			manvol = pp;
-		else if (pp->node == NODE_REFENTRYTITLE)
-			title = pp;
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		if (nc->node == NODE_MANVOLNUM)
+			manvol = nc;
+		else if (nc->node == NODE_REFENTRYTITLE)
+			title = nc;
 	}
-	macro_open(p, "Xr");
+	macro_open(f, "Xr");
 	if (title == NULL)
-		macro_addarg(p, "unknown", ARG_SPACE);
+		macro_addarg(f, "unknown", ARG_SPACE);
 	else
-		macro_addnode(p, title, ARG_SPACE | ARG_SINGLE);
+		macro_addnode(f, title, ARG_SPACE | ARG_SINGLE);
 	if (manvol == NULL)
-		macro_addarg(p, "1", ARG_SPACE);
+		macro_addarg(f, "1", ARG_SPACE);
 	else
-		macro_addnode(p, manvol, ARG_SPACE | ARG_SINGLE);
-	macro_close(p);
-	pnode_unlinksub(pn);
+		macro_addnode(f, manvol, ARG_SPACE | ARG_SINGLE);
+	pnode_unlinksub(n);
 }
 
 static void
-pnode_printrefmeta(struct parse *p, struct pnode *pn)
+pnode_printfuncdef(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *title, *manvol;
+	struct pnode	*nc;
 
-	title = manvol = NULL;
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node == NODE_MANVOLNUM)
-			manvol = pp;
-		else if (pp->node == NODE_REFENTRYTITLE)
-			title = pp;
+	nc = TAILQ_FIRST(&n->childq);
+	if (nc != NULL && nc->node == NODE_TEXT) {
+		macro_argline(f, "Ft", nc->b);
+		pnode_unlink(nc);
 	}
-	macro_open(p, "Dt");
-	if (title == NULL)
-		macro_addarg(p, "UNKNOWN", ARG_SPACE);
-	else
-		macro_addnode(p, title, ARG_SPACE | ARG_SINGLE | ARG_UPPER);
-	if (manvol == NULL)
-		macro_addarg(p, "1", ARG_SPACE);
-	else
-		macro_addnode(p, manvol, ARG_SPACE | ARG_SINGLE);
-	macro_close(p);
-	pnode_unlink(pn);
+	macro_nodeline(f, "Fo", n, ARG_SINGLE);
+	pnode_unlinksub(n);
 }
 
-static void
-pnode_printfuncdef(struct parse *p, struct pnode *pn)
-{
-	struct pnode	*pp, *ftype, *func;
-
-	ftype = func = NULL;
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node == NODE_TEXT)
-			ftype = pp;
-		else if (pp->node == NODE_FUNCTION)
-			func = pp;
-	}
-	if (ftype != NULL)
-		macro_argline(p, "Ft", ftype->b);
-	macro_open(p, "Fo");
-	if (func == NULL)
-		macro_addarg(p, "UNKNOWN", ARG_SPACE);
-	else
-		macro_addnode(p, func, ARG_SPACE | ARG_SINGLE);
-	macro_close(p);
-}
-
 /*
  * The <mml:mfenced> node is a little peculiar.
  * First, it can have arbitrary open and closing tokens, which default
@@ -947,21 +360,21 @@ pnode_printfuncdef(struct parse *p, struct pnode *pn)
  * Second, >1 arguments are separated by commas.
  */
 static void
-pnode_printmathfenced(struct parse *p, struct pnode *pn)
+pnode_printmathfenced(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc;
 
-	printf("left %s ", pnode_getattr_raw(pn, ATTRKEY_OPEN, "("));
+	printf("left %s ", pnode_getattr_raw(n, ATTRKEY_OPEN, "("));
 
-	pp = TAILQ_FIRST(&pn->childq);
-	pnode_print(p, pp);
+	nc = TAILQ_FIRST(&n->childq);
+	pnode_print(f, nc);
 
-	while ((pp = TAILQ_NEXT(pp, child)) != NULL) {
+	while ((nc = TAILQ_NEXT(nc, child)) != NULL) {
 		putchar(',');
-		pnode_print(p, pp);
+		pnode_print(f, nc);
 	}
-	printf("right %s ", pnode_getattr_raw(pn, ATTRKEY_CLOSE, ")"));
-	pnode_unlinksub(pn);
+	printf("right %s ", pnode_getattr_raw(n, ATTRKEY_CLOSE, ")"));
+	pnode_unlinksub(n);
 }
 
 /*
@@ -971,14 +384,14 @@ pnode_printmathfenced(struct parse *p, struct pnode *p
  * particular eqn(7) word.
  */
 static void
-pnode_printmath(struct parse *p, struct pnode *pn)
+pnode_printmath(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc;
 
-	pp = TAILQ_FIRST(&pn->childq);
-	pnode_print(p, pp);
+	nc = TAILQ_FIRST(&n->childq);
+	pnode_print(f, nc);
 
-	switch (pn->node) {
+	switch (n->node) {
 	case NODE_MML_MSUP:
 		fputs(" sup ", stdout);
 		break;
@@ -992,31 +405,31 @@ pnode_printmath(struct parse *p, struct pnode *pn)
 		break;
 	}
 
-	pp = TAILQ_NEXT(pp, child);
-	pnode_print(p, pp);
-	pnode_unlinksub(pn);
+	nc = TAILQ_NEXT(nc, child);
+	pnode_print(f, nc);
+	pnode_unlinksub(n);
 }
 
 static void
-pnode_printfuncprototype(struct parse *p, struct pnode *pn)
+pnode_printfuncprototype(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *fdef;
+	struct pnode	*nc, *fdef;
 
-	TAILQ_FOREACH(fdef, &pn->childq, child)
+	TAILQ_FOREACH(fdef, &n->childq, child)
 		if (fdef->node == NODE_FUNCDEF)
 			break;
 
-	if (fdef != NULL)
-		pnode_printfuncdef(p, fdef);
-	else
-		macro_line(p, "Fo UNKNOWN");
+	if (fdef != NULL) {
+		pnode_printfuncdef(f, fdef);
+		pnode_unlink(fdef);
+	} else
+		macro_line(f, "Fo UNKNOWN");
 
-	TAILQ_FOREACH(pp, &pn->childq, child)
-		if (pp->node == NODE_PARAMDEF)
-			macro_nodeline(p, "Fa", pp, ARG_SINGLE);
+	TAILQ_FOREACH(nc, &n->childq, child)
+		macro_nodeline(f, "Fa", nc, ARG_SINGLE);
 
-	macro_line(p, "Fc");
-	pnode_unlinksub(pn);
+	macro_line(f, "Fc");
+	pnode_unlinksub(n);
 }
 
 /*
@@ -1027,111 +440,469 @@ pnode_printfuncprototype(struct parse *p, struct pnode
  * ellipsis following an argument) and optionality.
  */
 static void
-pnode_printarg(struct parse *p, struct pnode *pn)
+pnode_printarg(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
-	struct pattr	*ap;
-	int		 isop, isrep;
+	struct pnode	*nc;
+	struct pattr	*a;
+	int		 isop, isrep, was_impl;
 
 	isop = 1;
-	isrep = 0;
-	TAILQ_FOREACH(ap, &pn->attrq, child) {
-		if (ap->key == ATTRKEY_CHOICE &&
-		    (ap->val == ATTRVAL_PLAIN || ap->val == ATTRVAL_REQ))
+	isrep = was_impl = 0;
+	TAILQ_FOREACH(a, &n->attrq, child) {
+		if (a->key == ATTRKEY_CHOICE &&
+		    (a->val == ATTRVAL_PLAIN || a->val == ATTRVAL_REQ))
 			isop = 0;
-		else if (ap->key == ATTRKEY_REP && ap->val == ATTRVAL_REPEAT)
+		else if (a->key == ATTRKEY_REP && a->val == ATTRVAL_REPEAT)
 			isrep = 1;
 	}
-	if (isop)
-		macro_open(p, "Op");
-
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node == NODE_TEXT)
-			macro_open(p, "Ar");
-		pnode_print(p, pp);
-		if (isrep && pp->node == NODE_TEXT)
-			macro_addarg(p, "...", ARG_SPACE);
+	if (isop) {
+		if (f->flags & FMT_IMPL) {
+			was_impl = 1;
+			macro_open(f, "Oo");
+		} else {
+			macro_open(f, "Op");
+			f->flags |= FMT_IMPL;
+		}
 	}
-	pnode_unlinksub(pn);
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		if (nc->node == NODE_TEXT)
+			macro_open(f, "Ar");
+		pnode_print(f, nc);
+	}
+	if (isrep && f->linestate == LINE_MACRO)
+		macro_addarg(f, "...", ARG_SPACE);
+	if (isop) {
+		if (was_impl)
+			macro_open(f, "Oc");
+		else
+			f->flags &= ~FMT_IMPL;
+	}
+	pnode_unlinksub(n);
 }
 
 static void
-pnode_printgroup(struct parse *p, struct pnode *pn)
+pnode_printgroup(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *np;
-	struct pattr	*ap;
-	int		 isop, sv;
+	struct pnode	*nc;
+	struct pattr	*a;
+	int		 bar, isop, isrep, was_impl;
 
 	isop = 1;
-	TAILQ_FOREACH(ap, &pn->attrq, child)
-		if (ap->key == ATTRKEY_CHOICE &&
-		    (ap->val == ATTRVAL_PLAIN || ap->val == ATTRVAL_REQ)) {
+	isrep = was_impl = 0;
+	TAILQ_FOREACH(a, &n->attrq, child) {
+		if (a->key == ATTRKEY_CHOICE &&
+		    (a->val == ATTRVAL_PLAIN || a->val == ATTRVAL_REQ))
 			isop = 0;
+		else if (a->key == ATTRKEY_REP && a->val == ATTRVAL_REPEAT)
+			isrep = 1;
+	}
+	if (isop) {
+		if (f->flags & FMT_IMPL) {
+			was_impl = 1;
+			macro_open(f, "Oo");
+		} else {
+			macro_open(f, "Op");
+			f->flags |= FMT_IMPL;
+		}
+	} else if (isrep) {
+		if (f->flags & FMT_IMPL) {
+			was_impl = 1;
+			macro_open(f, "Bro");
+		} else {
+			macro_open(f, "Brq");
+			f->flags |= FMT_IMPL;
+		}
+	}
+	bar = 0;
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		if (bar && f->linestate == LINE_MACRO)
+			macro_addarg(f, "|", ARG_SPACE);
+		pnode_print(f, nc);
+		bar = 1;
+	}
+	if (isop) {
+		if (was_impl)
+			macro_open(f, "Oc");
+		else
+			f->flags &= ~FMT_IMPL;
+	} else if (isrep) {
+		if (was_impl)
+			macro_open(f, "Brc");
+		else
+			f->flags &= ~FMT_IMPL;
+	}
+	if (isrep && f->linestate == LINE_MACRO)
+		macro_addarg(f, "...", ARG_SPACE);
+	pnode_unlinksub(n);
+}
+
+static void
+pnode_printsystemitem(struct format *f, struct pnode *n)
+{
+	switch (pnode_getattr(n, ATTRKEY_CLASS)) {
+	case ATTRVAL_IPADDRESS:
+		break;
+	case ATTRVAL_SYSTEMNAME:
+		macro_open(f, "Pa");
+		break;
+	case ATTRVAL_EVENT:
+	default:
+		macro_open(f, "Sy");
+		break;
+	}
+}
+
+static void
+pnode_printauthor(struct format *f, struct pnode *n)
+{
+	struct pnode	*nc, *nn;
+	int		 have_contrib, have_name;
+
+	/*
+	 * Print <contrib> children up front, before the .An scope,
+	 * and figure out whether we a name of a person.
+	 */
+
+	have_contrib = have_name = 0;
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn) {
+		switch (nc->node) {
+		case NODE_CONTRIB:
+			if (have_contrib)
+				print_text(f, ",", 0);
+			print_textnode(f, nc);
+			pnode_unlink(nc);
+			have_contrib = 1;
 			break;
+		case NODE_PERSONNAME:
+			have_name = 1;
+			break;
+		default:
+			break;
 		}
+	}
+	if (TAILQ_FIRST(&n->childq) == NULL)
+		return;
 
+	if (have_contrib)
+		print_text(f, ":", 0);
+
 	/*
-	 * Make sure we're on a macro line.
-	 * This will prevent pnode_print() for putting us on a
-	 * subsequent line.
+         * If we have a name, print it in the .An scope and leave
+         * all other content for child handlers, to print after the
+         * scope.  Otherwise, print everything in the scope.
 	 */
-	sv = p->linestate == LINE_NEW;
-	if (isop)
-		macro_open(p, "Op");
-	else if (sv)
-		macro_open(p, "No");
 
+	macro_open(f, "An");
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn) {
+		if (nc->node == NODE_PERSONNAME || have_name == 0) {
+			macro_addnode(f, nc, ARG_SPACE);
+			pnode_unlink(nc);
+		}
+	}
+
 	/*
-	 * Keep on printing text separated by the vertical bar as long
-	 * as we're within the same origin node as the group.
-	 * This is kind of a nightmare.
-	 * Eh, DocBook...
-	 * FIXME: if there's a "Fl", we don't cut off the leading "-"
-	 * like we do in pnode_print().
+	 * If there is an email address,
+	 * print it on the same macro line.
 	 */
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		pnode_print(p, pp);
-		np = TAILQ_NEXT(pp, child);
-		while (np != NULL) {
-			if (pp->node != np->node)
+
+	if ((nc = pnode_findfirst(n, NODE_EMAIL)) != NULL) {
+		f->flags |= FMT_CHILD;
+		macro_open(f, "Aq Mt");
+		macro_addnode(f, nc, ARG_SPACE);
+		pnode_unlink(nc);
+	}
+
+	/*
+	 * If there are still unprinted children, end the scope
+	 * with a comma.  Otherwise, leave the scope open in case
+	 * a text node follows that starts with closing punctuation.
+	 */
+
+	if (TAILQ_FIRST(&n->childq) != NULL) {
+		macro_addarg(f, ",", ARG_SPACE);
+		macro_close(f);
+	}
+}
+
+static void
+pnode_printlink(struct format *f, struct pnode *n)
+{
+	struct pnode	*nc;
+	const char	*uri, *text;
+
+	uri = pnode_getattr_raw(n, ATTRKEY_LINKEND, NULL);
+	if (uri != NULL) {
+		if (TAILQ_FIRST(&n->childq) != NULL) {
+			TAILQ_FOREACH(nc, &n->childq, child)
+				pnode_print(f, nc);
+			text = "";
+		} else if ((text = pnode_getattr_raw(n,
+		    ATTRKEY_ENDTERM, NULL)) != NULL) {
+			if (f->linestate == LINE_MACRO && f->flags & FMT_ARG)
+				macro_addarg(f, text, ARG_SPACE);
+			else
+				print_text(f, text, ARG_SPACE);
+		}
+		if (text != NULL) {
+			if (f->flags & FMT_IMPL)
+				macro_open(f, "Po");
+			else {
+				macro_open(f, "Pq");
+				f->flags |= FMT_CHILD;
+			}
+		}
+		macro_open(f, "Sx");
+		macro_addarg(f, uri, ARG_SPACE);
+		if (text != NULL && f->flags & FMT_IMPL)
+			macro_open(f, "Pc");
+		pnode_unlinksub(n);
+		return;
+	}
+	uri = pnode_getattr_raw(n, ATTRKEY_XLINK_HREF, NULL);
+	if (uri == NULL)
+		uri = pnode_getattr_raw(n, ATTRKEY_URL, NULL);
+	if (uri != NULL) {
+		macro_open(f, "Lk");
+		macro_addarg(f, uri, ARG_SPACE | ARG_SINGLE);
+		if (TAILQ_FIRST(&n->childq) != NULL)
+			macro_addnode(f, n, ARG_SPACE | ARG_SINGLE);
+		pnode_unlinksub(n);
+	}
+}
+
+static void
+pnode_printolink(struct format *f, struct pnode *n)
+{
+	const char	*uri, *ptr, *local;
+
+	uri = pnode_getattr_raw(n, ATTRKEY_TARGETDOC, NULL);
+	ptr = pnode_getattr_raw(n, ATTRKEY_TARGETPTR, NULL);
+	local = pnode_getattr_raw(n, ATTRKEY_LOCALINFO, NULL);
+	if (uri == NULL) {
+		uri = ptr;
+		ptr = NULL;
+	}
+	if (uri == NULL) {
+		uri = local;
+		local = NULL;
+	}
+	if (uri == NULL)
+		return;
+
+	macro_open(f, "Lk");
+	macro_addarg(f, uri, ARG_SPACE | ARG_SINGLE);
+	macro_addnode(f, n, ARG_SPACE | ARG_SINGLE);
+	if (ptr != NULL || local != NULL) {
+		macro_close(f);
+		macro_open(f, "Pq");
+		if (ptr != NULL)
+			macro_addarg(f, ptr, ARG_SPACE);
+		if (local != NULL)
+			macro_addarg(f, local, ARG_SPACE);
+	}
+	pnode_unlinksub(n);
+}
+
+static void
+pnode_printprologue(struct format *f, struct pnode *root)
+{
+	struct pnode	*date, *refmeta, *name, *vol, *descr, *nc, *nn;
+	const char	*sname;
+
+	/* Collect information. */
+
+	if ((date = pnode_takefirst(root, NODE_PUBDATE)) == NULL)
+		date = pnode_takefirst(root, NODE_DATE);
+
+	name = vol = NULL;
+	if ((refmeta = pnode_findfirst(root, NODE_REFMETA)) != NULL) {
+		TAILQ_FOREACH_SAFE(nc, &refmeta->childq, child, nn) {
+			switch (nc->node) {
+			case NODE_REFENTRYTITLE:
+				name = nc;
 				break;
-			macro_addarg(p, "|", ARG_SPACE);
-			macro_addnode(p, np, ARG_SPACE);
-			pp = np;
-			np = TAILQ_NEXT(np, child);
+			case NODE_MANVOLNUM:
+				vol = nc;
+				break;
+			default:
+				continue;
+			}
+			TAILQ_REMOVE(&refmeta->childq, nc, child);
 		}
 	}
-	if (sv)
-		macro_close(p);
-	pnode_unlinksub(pn);
+
+	if (pnode_findfirst(root, NODE_REFNAMEDIV) == NULL &&
+	    ((nc = pnode_findfirst(root, NODE_BOOKINFO)) != NULL ||
+	     (nc = pnode_findfirst(root, NODE_REFENTRYINFO)) != NULL))
+		descr = pnode_takefirst(nc, NODE_TITLE);
+	else
+		descr = NULL;
+
+	/* Print prologue. */
+
+	if (date == NULL)
+		macro_line(f, "Dd $Mdocdate" "$");
+	else
+		macro_nodeline(f, "Dd", date, 0);
+
+	macro_open(f, "Dt");
+	if (name == NULL) {
+		sname = pnode_getattr_raw(root, ATTRKEY_ID, "UNKNOWN");
+		macro_addarg(f, sname, ARG_SPACE | ARG_SINGLE | ARG_UPPER);
+	} else
+		macro_addnode(f, name, ARG_SPACE | ARG_SINGLE | ARG_UPPER);
+	if (vol == NULL)
+		macro_addarg(f, "1", ARG_SPACE);
+	else
+		macro_addnode(f, vol, ARG_SPACE | ARG_SINGLE);
+
+	macro_line(f, "Os");
+
+	if (descr != NULL) {
+		macro_line(f, "Sh NAME");
+		if (name == NULL)
+			macro_argline(f, "Nm", sname);
+		else
+			macro_nodeline(f, "Nm", name, ARG_SINGLE);
+		macro_nodeline(f, "Nd", descr, 0);
+	}
+
+	/* Clean up. */
+
+	pnode_unlink(date);
+	pnode_unlink(name);
+	pnode_unlink(vol);
+	pnode_unlink(descr);
 }
 
 static void
-pnode_printprologue(struct parse *p, struct pnode *pn)
+pnode_printrefentry(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*info, *meta, *nc, *title;
+	struct pnode	*match, *later;
 
-	pp = p->root == NULL ? NULL :
-		pnode_findfirst(p->root, NODE_REFMETA);
+	/* Collect nodes that remained behind when writing the prologue. */
 
-	macro_line(p, "Dd $Mdocdate" "$");
-	if (pp != NULL)
-		pnode_printrefmeta(p, pp);
-	else {
-		macro_open(p, "Dt");
-		macro_addarg(p,
-		    pnode_getattr_raw(p->root, ATTRKEY_ID, "UNKNOWN"),
-		    ARG_SPACE | ARG_SINGLE | ARG_UPPER);
-		macro_addarg(p, "1", ARG_SPACE);
-		macro_close(p);
+	meta = NULL;
+	info = pnode_takefirst(n, NODE_BOOKINFO);
+	if (info != NULL && TAILQ_FIRST(&info->childq) == NULL) {
+		pnode_unlink(info);
+		info = NULL;
 	}
-	macro_line(p, "Os");
+	if (info == NULL) {
+		info = pnode_takefirst(n, NODE_REFENTRYINFO);
+		if (info != NULL && TAILQ_FIRST(&info->childq) == NULL) {
+			pnode_unlink(info);
+			info = NULL;
+		}
+		meta = pnode_takefirst(n, NODE_REFMETA);
+		if (meta != NULL && TAILQ_FIRST(&meta->childq) == NULL) {
+			pnode_unlink(meta);
+			meta = NULL;
+		}
+	}
+	if (info == NULL && meta == NULL)
+		return;
 
-	if (p->flags & PARSE_EQN) {
-		macro_line(p, "EQ");
-		print_text(p, "delim $$");
-		macro_line(p, "EN");
+	/*
+	 * Find the best place to put this information.
+	 * Use the last existing AUTHORS node, if any.
+	 * Otherwise, put it behind all standard sections that
+	 * conventionally precede AUTHORS, and also behind any
+	 * non-standard sections that follow the last of these,
+	 * but before the next standard section.
+	 */
+
+	match = later = NULL;
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		switch (nc->node) {
+		case NODE_REFENTRY:
+		case NODE_REFNAMEDIV:
+		case NODE_REFSYNOPSISDIV:
+		case NODE_PREFACE:
+			later = NULL;
+			continue;
+		case NODE_APPENDIX:
+		case NODE_INDEX:
+			if (later == NULL)
+				later = nc;
+			continue;
+		default:
+			break;
+		}
+		if ((title = pnode_findfirst(nc, NODE_TITLE)) == NULL ||
+		    (title = TAILQ_FIRST(&title->childq)) == NULL ||
+		    title->node != NODE_TEXT)
+			continue;
+		if (strcasecmp(title->b, "AUTHORS") == 0 ||
+		    strcasecmp(title->b, "AUTHOR") == 0)
+			match = nc;
+		else if (strcasecmp(title->b, "NAME") == 0 ||
+		    strcasecmp(title->b, "SYNOPSIS") == 0 ||
+		    strcasecmp(title->b, "DESCRIPTION") == 0 ||
+		    strcasecmp(title->b, "RETURN VALUES") == 0 ||
+		    strcasecmp(title->b, "ENVIRONMENT") == 0 ||
+		    strcasecmp(title->b, "FILES") == 0 ||
+		    strcasecmp(title->b, "EXIT STATUS") == 0 ||
+		    strcasecmp(title->b, "EXAMPLES") == 0 ||
+		    strcasecmp(title->b, "DIAGNOSTICS") == 0 ||
+		    strcasecmp(title->b, "ERRORS") == 0 ||
+		    strcasecmp(title->b, "SEE ALSO") == 0 ||
+		    strcasecmp(title->b, "STANDARDS") == 0 ||
+		    strcasecmp(title->b, "HISTORY") == 0)
+			later = NULL;
+		else if ((strcasecmp(title->b, "CAVEATS") == 0 ||
+		    strcasecmp(title->b, "BUGS") == 0) &&
+		    later == NULL)
+			later = nc;
 	}
+
+	/*
+	 * If no AUTHORS section was found, create one from scratch,
+	 * and insert that at the place selected earlier.
+	 */
+
+	if (match == NULL) {
+		if ((match = calloc(1, sizeof(*match))) == NULL) {
+			perror(NULL);
+			exit(1);
+		}
+		match->node = NODE_SECTION;
+		match->spc = 1;
+		match->parent = n;
+		TAILQ_INIT(&match->childq);
+		TAILQ_INIT(&match->attrq);
+		if ((nc = pnode_alloc(match)) == NULL) {
+			perror(NULL);
+			exit(1);
+		}
+		nc->node = NODE_TITLE;
+		nc->spc = 1;
+		if ((nc = pnode_alloc(nc)) == NULL) {
+			perror(NULL);
+			exit(1);
+		}
+		nc->node = NODE_TEXT;
+		if ((nc->b = strdup("AUTHORS")) == NULL) {
+			perror(NULL);
+			exit(1);
+		}
+		nc->spc = 1;
+		if (later == NULL)
+			TAILQ_INSERT_TAIL(&n->childq, match, child);
+		else
+			TAILQ_INSERT_BEFORE(later, match, child);
+	}
+
+	/*
+	 * Dump the stuff excised at the beginning
+	 * into this AUTHORS section.
+	 */
+
+	if (info != NULL)
+		TAILQ_INSERT_TAIL(&match->childq, info, child);
+	if (meta != NULL)
+		TAILQ_INSERT_TAIL(&match->childq, meta, child);
 }
 
 /*
@@ -1139,101 +910,160 @@ pnode_printprologue(struct parse *p, struct pnode *pn)
  * we should comma-separate as list headers.
  */
 static void
-pnode_printvarlistentry(struct parse *p, struct pnode *pn)
+pnode_printvarlistentry(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc, *nn;
 	int		 first = 1;
 
-	macro_open(p, "It");
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node != NODE_TERM)
+	macro_open(f, "It");
+	f->flags |= FMT_IMPL;
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn) {
+		if (nc->node != NODE_TERM && nc->node != NODE_GLOSSTERM)
 			continue;
-		if ( ! first)
-			macro_addarg(p, ",", 0);
-		pnode_print(p, pp);
+		if (first == 0) {
+			switch (f->linestate) {
+			case LINE_NEW:
+				break;
+			case LINE_TEXT:
+				print_text(f, ",", 0);
+				break;
+			case LINE_MACRO:
+				macro_addarg(f, ",", 0);
+				break;
+			}
+		}
+		pnode_print(f, nc);
+		pnode_unlink(nc);
 		first = 0;
 	}
-	macro_close(p);
-	TAILQ_FOREACH(pp, &pn->childq, child)
-		if (pp->node != NODE_TERM)
-			pnode_print(p, pp);
-	pnode_unlinksub(pn);
+	macro_close(f);
+	while ((nc = TAILQ_FIRST(&n->childq)) != NULL) {
+		pnode_print(f, nc);
+		pnode_unlink(nc);
+	}
+	macro_close(f);
 }
 
 static void
-pnode_printtitle(struct parse *p, struct pnode *pn)
+pnode_printtitle(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp, *pq;
+	struct pnode	*nc, *nn;
 
-	TAILQ_FOREACH_SAFE(pp, &pn->childq, child, pq) {
-		if (pp->node == NODE_TITLE) {
-			pnode_printpara(p, pp);
-			pnode_print(p, pp);
-			pnode_unlink(pp);
+	TAILQ_FOREACH_SAFE(nc, &n->childq, child, nn) {
+		if (nc->node == NODE_TITLE) {
+			pnode_printpara(f, nc);
+			pnode_print(f, nc);
+			pnode_unlink(nc);
 		}
 	}
 }
 
 static void
-pnode_printrow(struct parse *p, struct pnode *pn)
+pnode_printrow(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc;
 
-	macro_line(p, "Bl -dash -compact");
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		macro_line(p, "It");
-		pnode_print(p, pp);
+	macro_line(f, "Bl -dash -compact");
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		macro_line(f, "It");
+		pnode_print(f, nc);
 	}
-	macro_line(p, "El");
-	pnode_unlink(pn);
+	macro_line(f, "El");
+	pnode_unlink(n);
 }
 
 static void
-pnode_printtable(struct parse *p, struct pnode *pn)
+pnode_printtgroup1(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc;
 
-	pnode_printtitle(p, pn);
-	macro_line(p, "Bl -ohang");
-	while ((pp = pnode_findfirst(pn, NODE_ROW)) != NULL) {
-		macro_line(p, "It Table Row");
-		pnode_printrow(p, pp);
+	macro_line(f, "Bl -bullet -compact");
+	while ((nc = pnode_findfirst(n, NODE_ENTRY)) != NULL) {
+		macro_line(f, "It");
+		pnode_print(f, nc);
+		pnode_unlink(nc);
 	}
-	macro_line(p, "El");
-	pnode_unlinksub(pn);
+	macro_line(f, "El");
+	pnode_unlinksub(n);
 }
 
 static void
-pnode_printlist(struct parse *p, struct pnode *pn)
+pnode_printtgroup2(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nr, *ne;
 
-	pnode_printtitle(p, pn);
-	macro_argline(p, "Bl",
-	    pn->node == NODE_ORDEREDLIST ? "-enum" : "-bullet");
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		macro_line(p, "It");
-		pnode_print(p, pp);
+	macro_line(f, "Bl -tag -width Ds");
+	while ((nr = pnode_findfirst(n, NODE_ROW)) != NULL) {
+		if ((ne = pnode_findfirst(n, NODE_ENTRY)) == NULL)
+			break;
+		macro_open(f, "It");
+		f->flags |= FMT_IMPL;
+		pnode_print(f, ne);
+		macro_close(f);
+		pnode_unlink(ne);
+		pnode_print(f, nr);
+		pnode_unlink(nr);
 	}
-	macro_line(p, "El");
-	pnode_unlinksub(pn);
+	macro_line(f, "El");
+	pnode_unlinksub(n);
 }
 
 static void
-pnode_printvariablelist(struct parse *p, struct pnode *pn)
+pnode_printtgroup(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
+	struct pnode	*nc;
 
-	pnode_printtitle(p, pn);
-	macro_line(p, "Bl -tag -width Ds");
-	TAILQ_FOREACH(pp, &pn->childq, child) {
-		if (pp->node == NODE_VARLISTENTRY)
-			pnode_print(p, pp);
+	switch (atoi(pnode_getattr_raw(n, ATTRKEY_COLS, "0"))) {
+	case 1:
+		pnode_printtgroup1(f, n);
+		return;
+	case 2:
+		pnode_printtgroup2(f, n);
+		return;
+	default:
+		break;
+	}
+
+	macro_line(f, "Bl -ohang");
+	while ((nc = pnode_findfirst(n, NODE_ROW)) != NULL) {
+		macro_line(f, "It Table Row");
+		pnode_printrow(f, nc);
+	}
+	macro_line(f, "El");
+	pnode_unlinksub(n);
+}
+
+static void
+pnode_printlist(struct format *f, struct pnode *n)
+{
+	struct pnode	*nc;
+
+	pnode_printtitle(f, n);
+	macro_argline(f, "Bl",
+	    n->node == NODE_ORDEREDLIST ? "-enum" : "-bullet");
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		macro_line(f, "It");
+		pnode_print(f, nc);
+	}
+	macro_line(f, "El");
+	pnode_unlinksub(n);
+}
+
+static void
+pnode_printvariablelist(struct format *f, struct pnode *n)
+{
+	struct pnode	*nc;
+
+	pnode_printtitle(f, n);
+	macro_line(f, "Bl -tag -width Ds");
+	TAILQ_FOREACH(nc, &n->childq, child) {
+		if (nc->node == NODE_VARLISTENTRY)
+			pnode_printvarlistentry(f, nc);
 		else
-			macro_nodeline(p, "It", pp, 0);
+			macro_nodeline(f, "It", nc, 0);
 	}
-	macro_line(p, "El");
-	pnode_unlinksub(pn);
+	macro_line(f, "El");
+	pnode_unlinksub(n);
 }
 
 /*
@@ -1243,468 +1073,362 @@ pnode_printvariablelist(struct parse *p, struct pnode 
  * whatever), don't print inline macros.
  */
 static void
-pnode_print(struct parse *p, struct pnode *pn)
+pnode_print(struct format *f, struct pnode *n)
 {
-	struct pnode	*pp;
-	const char	*ccp;
-	char		*cp;
-	int		 last;
-	enum linestate	 sv;
+	struct pnode	*nc, *nn;
+	int		 was_impl;
 
-	if (pn == NULL)
+	if (n == NULL)
 		return;
 
-	sv = p->linestate;
+	was_impl = f->flags & FMT_IMPL;
+	if (n->spc)
+		f->flags &= ~FMT_NOSPC;
+	else
+		f->flags |= FMT_NOSPC;
 
-	switch (pn->node) {
-	case NODE_APPLICATION:
-		macro_open(p, "Nm");
-		break;
-	case NODE_ANCHOR:
-		/* Don't print anything! */
-		return;
+	switch (n->node) {
 	case NODE_ARG:
-		pnode_printarg(p, pn);
+		pnode_printarg(f, n);
 		break;
 	case NODE_AUTHOR:
-		macro_open(p, "An");
+		pnode_printauthor(f, n);
 		break;
 	case NODE_AUTHORGROUP:
-		macro_line(p, "An -split");
+		macro_line(f, "An -split");
 		break;
-	case NODE_BOOKINFO:
-		macro_line(p, "Sh NAME");
+	case NODE_BLOCKQUOTE:
+		macro_line(f, "Bd -ragged -offset indent");
 		break;
 	case NODE_CITEREFENTRY:
-		pnode_printciterefentry(p, pn);
+		pnode_printciterefentry(f, n);
 		break;
 	case NODE_CITETITLE:
-		macro_open(p, "%T");
+		macro_open(f, "%T");
 		break;
-	case NODE_CODE:
-		macro_open(p, "Li");
-		break;
 	case NODE_COMMAND:
-		macro_open(p, "Nm");
+		macro_open(f, "Nm");
 		break;
 	case NODE_CONSTANT:
-		macro_open(p, "Dv");
+		macro_open(f, "Dv");
 		break;
+	case NODE_COPYRIGHT:
+		print_text(f, "Copyright", ARG_SPACE);
+		fputs(" \\(co", stdout);
+		break;
 	case NODE_EDITOR:
-		print_text(p, "editor:");
-		macro_open(p, "An");
+		print_text(f, "editor:", ARG_SPACE);
+		pnode_printauthor(f, n);
 		break;
 	case NODE_EMAIL:
-		macro_open(p, "Aq Mt");
+		if (was_impl)
+			macro_open(f, "Ao Mt");
+		else {
+			macro_open(f, "Aq Mt");
+			f->flags |= FMT_IMPL;
+		}
 		break;
 	case NODE_EMPHASIS:
 	case NODE_FIRSTTERM:
-		macro_open(p, "Em");
+	case NODE_GLOSSTERM:
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL &&
+		    pnode_class(nc->node) < CLASS_LINE)
+			macro_open(f, "Em");
 		break;
 	case NODE_ENVAR:
-		macro_open(p, "Ev");
+		macro_open(f, "Ev");
 		break;
+	case NODE_ERRORNAME:
+		macro_open(f, "Er");
+		break;
 	case NODE_FILENAME:
-		macro_open(p, "Pa");
+		macro_open(f, "Pa");
 		break;
+	case NODE_FOOTNOTE:
+		macro_line(f, "Bo");
+		break;
 	case NODE_FUNCTION:
-		macro_open(p, "Fn");
+		macro_open(f, "Fn");
 		break;
 	case NODE_FUNCPROTOTYPE:
-		pnode_printfuncprototype(p, pn);
+		pnode_printfuncprototype(f, n);
 		break;
 	case NODE_FUNCSYNOPSISINFO:
-		macro_open(p, "Fd");
+		macro_open(f, "Fd");
 		break;
-	case NODE_INDEXTERM:
-		return;
-	case NODE_INFORMALEQUATION:
-		macro_line(p, "EQ");
+	case NODE_IMAGEDATA:
+		pnode_printimagedata(f, n);
 		break;
+	case NODE_INFORMALEQUATION:
+		macro_line(f, "Bd -ragged -offset indent");
+		/* FALLTHROUGH */
 	case NODE_INLINEEQUATION:
-		if (p->linestate == LINE_NEW)
-			p->linestate = LINE_TEXT;
-		putchar('$');
+		macro_line(f, "EQ");
 		break;
 	case NODE_ITEMIZEDLIST:
-		pnode_printlist(p, pn);
+		pnode_printlist(f, n);
 		break;
 	case NODE_GROUP:
-		pnode_printgroup(p, pn);
+		pnode_printgroup(f, n);
 		break;
 	case NODE_KEYSYM:
-		macro_open(p, "Sy");
+		macro_open(f, "Sy");
 		break;
-	case NODE_LEGALNOTICE:
-		macro_line(p, "Sh LEGAL NOTICE");
-		break;
 	case NODE_LINK:
-		ccp = pnode_getattr_raw(pn, ATTRKEY_LINKEND, NULL);
-		if (ccp == NULL)
-			break;
-		macro_argline(p, "Sx", ccp);
-		return;
+		pnode_printlink(f, n);
+		break;
 	case NODE_LITERAL:
-		macro_open(p, "Li");
+		if (n->parent != NULL && n->parent->node == NODE_QUOTE)
+			macro_open(f, "Li");
+		else if (was_impl)
+			macro_open(f, "So Li");
+		else {
+			macro_open(f, "Ql");
+			f->flags |= FMT_IMPL;
+		}
 		break;
 	case NODE_LITERALLAYOUT:
-		macro_argline(p, "Bd", pnode_getattr(pn, ATTRKEY_CLASS) ==
+		macro_close(f);
+		macro_argline(f, "Bd", pnode_getattr(n, ATTRKEY_CLASS) ==
 		    ATTRVAL_MONOSPACED ? "-literal" : "-unfilled");
 		break;
+	case NODE_MARKUP:
+		macro_open(f, "Ic");
+		break;
 	case NODE_MML_MFENCED:
-		pnode_printmathfenced(p, pn);
+		pnode_printmathfenced(f, n);
 		break;
 	case NODE_MML_MROW:
 	case NODE_MML_MI:
 	case NODE_MML_MN:
 	case NODE_MML_MO:
-		if (TAILQ_EMPTY(&pn->childq))
+		if (TAILQ_EMPTY(&n->childq))
 			break;
 		fputs(" { ", stdout);
 		break;
 	case NODE_MML_MFRAC:
 	case NODE_MML_MSUB:
 	case NODE_MML_MSUP:
-		pnode_printmath(p, pn);
+		pnode_printmath(f, n);
 		break;
+	case NODE_OLINK:
+		pnode_printolink(f, n);
+		break;
 	case NODE_OPTION:
-		macro_open(p, "Fl");
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL &&
+		    pnode_class(nc->node) < CLASS_LINE)
+			macro_open(f, "Fl");
 		break;
 	case NODE_ORDEREDLIST:
-		pnode_printlist(p, pn);
+		pnode_printlist(f, n);
 		break;
 	case NODE_PARA:
-		pnode_printpara(p, pn);
+		pnode_printpara(f, n);
 		break;
+	case NODE_PARAMDEF:
 	case NODE_PARAMETER:
-		macro_nodeline(p, "Fa", pn, ARG_SINGLE);
-		pnode_unlinksub(pn);
+		/* More often, these appear inside NODE_FUNCPROTOTYPE. */
+		macro_open(f, "Fa");
+		macro_addnode(f, n, ARG_SPACE | ARG_SINGLE);
+		pnode_unlinksub(n);
 		break;
 	case NODE_QUOTE:
-		macro_open(p, "Qo");
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL &&
+		    nc->node == NODE_FILENAME &&
+		    TAILQ_NEXT(nc, child) == NULL) {
+			if (n->spc)
+				nc->spc = 1;
+		} else if (was_impl)
+			macro_open(f, "Do");
+		else {
+			macro_open(f, "Dq");
+			f->flags |= FMT_IMPL;
+		}
 		break;
 	case NODE_PROGRAMLISTING:
 	case NODE_SCREEN:
-		macro_line(p, "Bd -literal");
+	case NODE_SYNOPSIS:
+		macro_line(f, "Bd -literal");
 		break;
-	case NODE_REFENTRYINFO:
-		/* Suppress. */
-		pnode_unlinksub(pn);
+	case NODE_SYSTEMITEM:
+		pnode_printsystemitem(f, n);
 		break;
-	case NODE_REFMETA:
-		abort();
+	case NODE_REFENTRY:
+		pnode_printrefentry(f, n);
 		break;
 	case NODE_REFNAME:
-		/* Suppress non-text children... */
-		macro_open(p, "Nm");
-		macro_addnode(p, pn, ARG_SPACE | ARG_SINGLE);
-		pnode_unlinksub(pn);
+		/* More often, these appear inside NODE_REFNAMEDIV. */
+		macro_open(f, "Nm");
 		break;
 	case NODE_REFNAMEDIV:
-		macro_line(p, "Sh NAME");
+		pnode_printrefnamediv(f, n);
 		break;
 	case NODE_REFPURPOSE:
-		macro_open(p, "Nd");
+		macro_open(f, "Nd");
 		break;
 	case NODE_REFSYNOPSISDIV:
-		pnode_printrefsynopsisdiv(p, pn);
+		pnode_printrefsynopsisdiv(f, n);
 		break;
 	case NODE_PREFACE:
 	case NODE_SECTION:
+	case NODE_SIMPLESECT:
+	case NODE_APPENDIX:
+	case NODE_LEGALNOTICE:
 	case NODE_NOTE:
 	case NODE_TIP:
 	case NODE_CAUTION:
 	case NODE_WARNING:
-		pnode_printrefsect(p, pn);
+		pnode_printsection(f, n);
 		break;
 	case NODE_REPLACEABLE:
-		macro_open(p, "Ar");
+		macro_open(f, "Ar");
 		break;
 	case NODE_SBR:
-		macro_line(p, "br");
+		macro_line(f, "br");
 		break;
-	case NODE_SGMLTAG:
-		macro_open(p, "Li");
+	case NODE_SUBSCRIPT:
+		if (f->linestate == LINE_MACRO)
+			macro_addarg(f, "_", 0);
+		else
+			print_text(f, "_", 0);
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL)
+			nc->spc = 0;
 		break;
-	case NODE_STRUCTNAME:
-		macro_open(p, "Vt");
+	case NODE_SUPERSCRIPT:
+		fputs("\\(ha", stdout);
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL)
+			nc->spc = 0;
 		break;
-	case NODE_TABLE:
-	case NODE_INFORMALTABLE:
-		pnode_printtable(p, pn);
-		break;
 	case NODE_TEXT:
-		if (pn->bsz == 0) {
-			assert(pn->real != pn->b);
-			break;
-		}
-		if (p->linestate == LINE_NEW)
-			p->linestate = LINE_TEXT;
-		else
-			putchar(' ');
-
-		/*
-		 * Output all characters, squeezing out whitespace
-		 * between newlines.
-		 * XXX: all whitespace, including tabs (?).
-		 * Remember to escape control characters and escapes.
-		 */
-		cp = pn->b;
-
-		/*
-		 * There's often a superfluous "-" in its <option> tags
-		 * before the actual flags themselves.
-		 * "Fl" does this for us, so remove it.
-		 */
-		if (pn->parent != NULL &&
-		    pn->parent->node == NODE_OPTION &&
-		    *cp == '-')
-			cp++;
-		for (last = '\n'; *cp != '\0'; ) {
-			if (last == '\n') {
-				/* Consume all whitespace. */
-				if (isspace((unsigned char)*cp)) {
-					while (isspace((unsigned char)*cp))
-						cp++;
-					continue;
-				} else if (*cp == '\'' || *cp == '.')
-					fputs("\\&", stdout);
-			}
-			putchar(last = *cp++);
-			/* If we're a character escape, escape us. */
-			if (last == '\\')
-				putchar('e');
-		}
+	case NODE_ESCAPE:
+		pnode_printtext(f, n);
 		break;
+	case NODE_TGROUP:
+		pnode_printtgroup(f, n);
+		break;
 	case NODE_TITLE:
-		if (pn->parent->node == NODE_BOOKINFO)
-			macro_open(p, "Nd");
+	case NODE_SUBTITLE:
+		pnode_printpara(f, n);
+		macro_nodeline(f, "Sy", n, 0);
+		pnode_unlinksub(n);
 		break;
 	case NODE_TYPE:
-		macro_open(p, "Vt");
+		macro_open(f, "Vt");
 		break;
-	case NODE_USERINPUT:
-		macro_open(p, "Li");
-		break;
 	case NODE_VARIABLELIST:
-		pnode_printvariablelist(p, pn);
+		pnode_printvariablelist(f, n);
 		break;
-	case NODE_VARLISTENTRY:
-		pnode_printvarlistentry(p, pn);
-		break;
 	case NODE_VARNAME:
-		macro_open(p, "Va");
+		macro_open(f, "Va");
 		break;
 	default:
 		break;
 	}
 
-	TAILQ_FOREACH(pp, &pn->childq, child)
-		pnode_print(p, pp);
+	TAILQ_FOREACH(nc, &n->childq, child)
+		pnode_print(f, nc);
 
-	switch (pn->node) {
+	switch (n->node) {
+	case NODE_EMAIL:
+		if (was_impl) {
+			f->flags &= ~FMT_NOSPC;
+			macro_open(f, "Ac");
+		} else
+			f->flags &= ~FMT_IMPL;
+		break;
+	case NODE_ESCAPE:
+	case NODE_TERM:
+	case NODE_TEXT:
+		/* Accept more arguments to the previous macro. */
+		return;
+	case NODE_FOOTNOTE:
+		macro_line(f, "Bc");
+		break;
 	case NODE_INFORMALEQUATION:
-		macro_line(p, "EN");
+		macro_line(f, "EN");
+		macro_line(f, "Ed");
 		break;
 	case NODE_INLINEEQUATION:
-		fputs("$ ", stdout);
-		p->linestate = sv;
+		macro_line(f, "EN");
 		break;
+	case NODE_LITERAL:
+		if (n->parent != NULL && n->parent->node == NODE_QUOTE)
+			/* nothing */;
+		else if (was_impl) {
+			f->flags &= ~FMT_NOSPC;
+			macro_open(f, "Sc");
+		} else
+			f->flags &= ~FMT_IMPL;
+		break;
+	case NODE_MEMBER:
+		if ((nn = TAILQ_NEXT(n, child)) != NULL &&
+		    nn->node != NODE_MEMBER)
+			nn = NULL;
+		switch (f->linestate) {
+		case LINE_TEXT:
+			if (nn != NULL)
+				print_text(f, ",", 0);
+			break;
+		case LINE_MACRO:
+			if (nn != NULL)
+				macro_addarg(f, ",", ARG_SPACE);
+			macro_close(f);
+			break;
+		case LINE_NEW:
+			break;
+		}
+		break;
 	case NODE_MML_MROW:
 	case NODE_MML_MI:
 	case NODE_MML_MN:
 	case NODE_MML_MO:
-		if (TAILQ_EMPTY(&pn->childq))
+		if (TAILQ_EMPTY(&n->childq))
 			break;
 		fputs(" } ", stdout);
 		break;
-	case NODE_APPLICATION:
-	case NODE_ARG:
-	case NODE_AUTHOR:
-	case NODE_CITEREFENTRY:
-	case NODE_CITETITLE:
-	case NODE_CODE:
-	case NODE_COMMAND:
-	case NODE_CONSTANT:
-	case NODE_EDITOR:
-	case NODE_EMAIL:
-	case NODE_EMPHASIS:
-	case NODE_ENVAR:
-	case NODE_FILENAME:
-	case NODE_FIRSTTERM:
-	case NODE_FUNCTION:
-	case NODE_FUNCSYNOPSISINFO:
-	case NODE_KEYSYM:
-	case NODE_LITERAL:
-	case NODE_OPTION:
-	case NODE_PARAMETER:
-	case NODE_REPLACEABLE:
-	case NODE_REFPURPOSE:
-	case NODE_SGMLTAG:
-	case NODE_STRUCTNAME:
-	case NODE_TYPE:
-	case NODE_USERINPUT:
-	case NODE_VARNAME:
-		if (sv != LINE_MACRO && p->linestate == LINE_MACRO)
-			macro_closepunct(p, pn);
-		break;
 	case NODE_QUOTE:
-		if (sv == LINE_NEW)
-			macro_close(p);
-		sv = p->linestate;
-		macro_open(p, "Qc");
-		if (sv == LINE_NEW)
-			macro_close(p);
+		if ((nc = TAILQ_FIRST(&n->childq)) != NULL &&
+		    nc->node == NODE_FILENAME &&
+		    TAILQ_NEXT(nc, child) == NULL)
+			/* nothing */;
+		else if (was_impl) {
+			f->flags &= ~FMT_NOSPC;
+			macro_open(f, "Dc");
+		} else
+			f->flags &= ~FMT_IMPL;
 		break;
-	case NODE_REFNAME:
-		/*
-		 * If we're in the NAME macro and we have multiple
-		 * <refname> macros in sequence, then print out a
-		 * trailing comma before the newline.
-		 */
-		if (pn->parent != NULL &&
-		    pn->parent->node == NODE_REFNAMEDIV &&
-		    TAILQ_NEXT(pn, child) != NULL &&
-		    TAILQ_NEXT(pn, child)->node == NODE_REFNAME)
-			macro_addarg(p, ",", ARG_SPACE);
-		if (sv == LINE_NEW)
-			macro_close(p);
-		break;
 	case NODE_PREFACE:
 	case NODE_SECTION:
+	case NODE_APPENDIX:
+	case NODE_LEGALNOTICE:
 	case NODE_NOTE:
 	case NODE_TIP:
 	case NODE_CAUTION:
 	case NODE_WARNING:
-		p->level--;
+		f->level--;
 		break;
+	case NODE_BLOCKQUOTE:
 	case NODE_LITERALLAYOUT:
 	case NODE_PROGRAMLISTING:
 	case NODE_SCREEN:
-		macro_line(p, "Ed");
+	case NODE_SYNOPSIS:
+		macro_line(f, "Ed");
 		break;
-	case NODE_TITLE:
-		if (pn->parent->node == NODE_BOOKINFO)
-			macro_line(p, "Sh AUTHORS");
-		break;
 	default:
 		break;
 	}
+	f->flags &= ~FMT_ARG;
 }
 
-/*
- * Loop around the read buffer until we've drained it of all data.
- * Invoke the parser context with each buffer fill.
- */
-static int
-readfile(XML_Parser xp, int fd,
-	char *b, size_t bsz, const char *fn)
+void
+ptree_print_mdoc(struct ptree *tree)
 {
-	struct parse	 p;
-	int		 rc;
-	ssize_t		 ssz;
+	struct format	 formatter;
 
-	memset(&p, 0, sizeof(struct parse));
-
-	p.fname = fn;
-	p.xml = xp;
-
-	XML_SetCharacterDataHandler(xp, xml_char);
-	XML_SetElementHandler(xp, xml_elem_start, xml_elem_end);
-	XML_SetUserData(xp, &p);
-
-	while ((ssz = read(fd, b, bsz)) >= 0) {
-		if ((rc = XML_Parse(xp, b, ssz, 0 == ssz)) == 0)
-			fprintf(stderr, "%s:%zu:%zu: %s\n", fn,
-				XML_GetCurrentLineNumber(xp),
-				XML_GetCurrentColumnNumber(xp),
-				XML_ErrorString
-				(XML_GetErrorCode(xp)));
-		else if ( ! p.stop && ssz > 0)
-			continue;
-		/*
-		 * Exit when we've read all or errors have occured
-		 * during the parse sequence.
-		 */
-		p.linestate = LINE_NEW;
-		pnode_printprologue(&p, p.root);
-		pnode_print(&p, p.root);
-		if (p.linestate != LINE_NEW)
-			putchar('\n');
-		pnode_free(p.root);
-		return rc != 0 && p.stop == 0;
-	}
-
-	/* Read error has occured. */
-	perror(fn);
-	pnode_free(p.root);
-	return 0;
-}
-
-int
-main(int argc, char *argv[])
-{
-	XML_Parser	 xp;
-	const char	*fname;
-	char		*buf;
-	int		 fd, rc, ch;
-	const char	*progname;
-
-	progname = strrchr(argv[0], '/');
-	if (progname == NULL)
-		progname = argv[0];
-	else
-		++progname;
-
-	fname = "-";
-	xp = NULL;
-	buf = NULL;
-	rc = 1;
-
-	while ((ch = getopt(argc, argv, "W")) != -1)
-		switch (ch) {
-		case 'W':
-			warn = 1;
-			break;
-		default:
-			goto usage;
-		}
-
-	argc -= optind;
-	argv += optind;
-
-	if (argc > 1) {
-		fprintf(stderr, "%s: Too many arguments\n", argv[1]);
-		goto usage;
-	} else if (argc > 0)
-		fname = argv[0];
-
-	/* Read from stdin or a file. */
-	fd = strcmp(fname, "-") == 0 ?
-		STDIN_FILENO : open(fname, O_RDONLY, 0);
-
-	/*
-	 * Open file for reading.
-	 * Allocate a read buffer.
-	 * Create the parser context.
-	 * Dive directly into the parse.
-	 */
-	if (fd == -1)
-		perror(fname);
-	else if ((buf = malloc(4096)) == NULL)
-		perror(NULL);
-	else if ((xp = XML_ParserCreate(NULL)) == NULL)
-		perror(NULL);
-	else if (readfile(xp, fd, buf, 4096, fname))
-		rc = 0;
-
-	XML_ParserFree(xp);
-	free(buf);
-	if (fd != STDIN_FILENO)
-		close(fd);
-	return rc;
-
-usage:
-	fprintf(stderr, "usage: %s [-W] [input_filename]\n", progname);
-	return 1;
+	formatter.level = 0;
+	formatter.linestate = LINE_NEW;
+	pnode_printprologue(&formatter, tree->root);
+	pnode_print(&formatter, tree->root);
+	if (formatter.linestate != LINE_NEW)
+		putchar('\n');
 }