asciiman: fixes, improve mandoc compatibility

README.adoc

@@ -1,21 +1,22 @@
 liberty
 =======
 
-'liberty' is a pseudolibrary of all the common C code I have written for various
-projects.  I used to copy-paste large swaths of code with minimal changes to it
+'liberty' is a pseudolibrary largely consisting of reusable C code for my
+various projects.  I used to copy-paste large swaths of it with minimal changes,
 and it slowly became awfully painful to synchronize.  The project can be thought
 of as a successor to my other C library, libxtnd.
 
 You are supposed to import it as a git submodule and include the main source
-file directly everywhere you need it.  Everything is declared "static".  I have
-come to the conclusion that this style of C programming suits me the best, as it
-allows me to nearly forget about the mess that are header files.
+file directly everywhere you need it, setting feature flags as appropriate.
+Everything is declared "static".  I have come to the conclusion that this style
+of C programming suits me the best, as it allows me to nearly forget about the
+mess that are header files.
 
 The API is intentionally unstable, which allows for easy refactoring.
 
 All development is done on Linux, but other POSIX-compatible operating systems
-should be supported as well.  They have an extremely low priority, however, and
-I'm not testing them at all, with the exception of OpenBSD.
+should be generally supported as well.  They have an extremely low priority,
+however, and I'm not testing them at all, perhaps with the exception of macOS.
 
 Tools
 -----
@@ -24,7 +25,7 @@ This project also hosts a number of supporting scripts written in portable AWK:
 asciiman.awk::
 	A fallback manual page generator for AsciiDoc documents,
 	motivated by the hugeness of AsciiDoc's and Asciidoctor's dependency trees.
-	It uses the _man_ macro package.
+	Just like them, it uses the _man_ macro package.
 
 cmake-parser.awk::
 	Parses the CMake language to the extent that is necessary to reliably

libertyxdr.adoc

@@ -9,7 +9,7 @@ LibertyXDR - an XDR-derived IDL and data serialization format
 Description
 -----------
 *LibertyXDR* is an interface description language, as well as a data
-serialization format, that has been largely derived from XDR, though notably
+serialization format.  It is largely derived from XDR, though notably
 simplified.
 
 Conventions

tools/asciiman.awk

@@ -1,4 +1,4 @@
-# asciiman.awk: stupid AsciiDoc to manual page converter
+# asciiman.awk: simplified AsciiDoc to manual page converter
 #
 # Copyright (c) 2022, Přemysl Eric Janouch <p@janouch.name>
 # SPDX-License-Identifier: 0BSD
@@ -11,7 +11,7 @@
 #  - Heading underlines must match in byte length exactly.
 #  - Only a small subset of syntax is supported overall.
 #
-# Also beware that the output has only been tested with GNU troff.
+# Also beware that the output has only been tested with GNU troff and mandoc.
 # Attributes can be passed via environment variables starting with "asciidoc-".
 
 function fatal(message) {
@@ -20,6 +20,10 @@ function fatal(message) {
 	exit 1
 }
 
+function haveattribute(name) {
+	return name in Attrs || ("asciidoc-" name) in ENVIRON
+}
+
 function getattribute(name) {
 	if (!(name in Attrs) && ("asciidoc-" name) in ENVIRON)
 		Attrs[name] = ENVIRON["asciidoc-" name]
@@ -27,13 +31,15 @@ function getattribute(name) {
 }
 
 function expand(s,   attr, v) {
-	# TODO: This should not expand unknown attribute names.
 	while (match(s, /[{][^{}]*[}]/)) {
-		s = substr(s, 1, RSTART - 1) \
-			getattribute(substr(s, RSTART + 1, RLENGTH - 2)) \
-			substr(s, RSTART + RLENGTH)
+		attr = substr(s, RSTART + 1, RLENGTH - 2)
+		if (haveattribute(attr))
+			v = v substr(s, 1, RSTART - 1) getattribute(attr)
+		else
+			v = v substr(s, 1, RSTART + RLENGTH - 1)
+		s = substr(s, RSTART + RLENGTH)
 	}
-	return s
+	return v s
 }
 
 function escape(s) {
@@ -109,12 +115,20 @@ function format(line,    v) {
 	return v
 }
 
+function flushspace() {
+	if (NeedSpace) {
+		print ".sp"
+		NeedSpace = 0
+	}
+}
+
 function inline(line) {
 	if (!line) {
-		print ".sp"
+		NeedSpace = 1
 		return
 	}
 
+	flushspace()
 	line = format(escape(expand(line)))
 
 	# Strip empty URL descriptions, otherwise useful for demarking the end.
@@ -145,15 +159,21 @@ function process(firstline) {
 		return 0
 	}
 
+	# mandoc(1) automatically precedes section headers with blank lines.
 	if (length(firstline) == length($0) && /^-+$/) {
 		print ".SH \"" escape(toupper(expand(firstline))) "\""
+		NeedSpace = 0
 		return 0
 	}
 	if (length(firstline) == length($0) && /^~+$/) {
 		print ".SS \"" escape(expand(firstline)) "\""
+		NeedSpace = 0
 		return 0
 	}
+
 	if (firstline ~ /^(-{4,}|[.]{4,})$/) {
+		flushspace()
+
 		print ".if n .RS 4"
 		print ".nf"
 		print ".fam C"
@@ -172,12 +192,14 @@ function process(firstline) {
 		return 0
 	}
 	if (match(firstline, /^\/\//)) {
-		print ".\\\" " firstline
+		print ".\\\"" substr(firstline, RSTART + RLENGTH)
 		return 1
 	}
 
 	# We generally assume these block end with a blank line.
 	if (match(firstline, /^[[:space:]]*[*][[:space:]]+/)) {
+		flushspace()
+
 		# Bullet magic copied over from AsciiDoc/Asciidoctor generators.
 		print ".RS 4"
 		print ".ie n \\{\\"
@@ -198,10 +220,12 @@ function process(firstline) {
 				break
 		}
 		print ".RE"
-		print ".sp"
+		NeedSpace = 1
 		return !!$0
 	}
 	if (match(firstline, /^[[:space:]]+/)) {
+		flushspace()
+
 		print ".if n .RS 4"
 		print ".nf"
 		print ".fam C"
@@ -233,7 +257,7 @@ function process(firstline) {
 				break
 		}
 		print ".RE"
-		print ".sp"
+		NeedSpace = 1
 		return !!$0
 	}
 	inline(firstline)