diff -Naur ieee-pilot-1.12/pilot.adoc ieee-pilot-1.12.patched/pilot.adoc
--- ieee-pilot-1.12/pilot.adoc	2026-02-27 13:33:16.000000000 -0500
+++ ieee-pilot-1.12.patched/pilot.adoc	2026-08-01 21:36:20.724447431 -0400
@@ -1,11 +1,11 @@
-= pilot(1) =
+= ieee-pilot(1) =
 :doctype: manpage
 
 == NAME ==
-pilot - interpreter and compiler for IEEE Std 1154-1991 PILOT
+ieee-pilot - interpreter and compiler for IEEE Std 1154-1991 PILOT
 
 == SYNOPSIS ==
-pilot [-dcmpk] [-L logfile] [-v num[y]] [files...]
+ieee-pilot [-dcmpk] [-L logfile] [-v num[y]] [files...]
 
 == DESCRIPTION ==
 This program is an interpreter/compiler for IEEE PILOT.  Details of the
@@ -17,7 +17,7 @@
 implementations.  The source distribution also provides portable model
 C code for standards-conforming implementations.
 
-Four options control the behavior of pilot.  The -v option controls
+Four options control the behavior of ieee-pilot.  The -v option controls
 the parser/lexer's verbosity.  Verbosity level 1 echoes each line to
 stderr just before it is processed (for better context on errors).
 Level 2 reports on each token found by the lexer.  If your PILOT was
diff -Naur ieee-pilot-1.12/pilotconv.adoc ieee-pilot-1.12.patched/pilotconv.adoc
--- ieee-pilot-1.12/pilotconv.adoc	2026-02-27 13:33:16.000000000 -0500
+++ ieee-pilot-1.12.patched/pilotconv.adoc	2026-08-01 21:36:02.354447501 -0400
@@ -1,11 +1,11 @@
-= pilotconv(1) =
+= ieee-pilotconv(1) =
 :doctype: manpage
 
 == NAME ==
-pilotconv - convert source to IEEE Std 1154-1991 PILOT
+ieee-pilotconv - convert source to IEEE Std 1154-1991 PILOT
 
 == SYNOPSIS ==
-pilotconv
+ieee-pilotconv
 
 == DESCRIPTION ==
 This program does some conformance checking for IEEE PILOT, and
diff -Naur ieee-pilot-1.12/tour.adoc ieee-pilot-1.12.patched/tour.adoc
--- ieee-pilot-1.12/tour.adoc	2026-02-27 13:33:16.000000000 -0500
+++ ieee-pilot-1.12.patched/tour.adoc	2026-08-01 21:36:57.122447292 -0400
@@ -93,7 +93,7 @@
 run correctly on any modern Unix carrying Bison and Flex.
 
 The only serious problem is the call to the C compiler to bash
-generated C code into executable bits (this is in gencode.c:execfile().
+generated C code into executable bits (this is in gencode.c:execfile()).
 This should work on any UNIX system, provided you have your pilot
 directory variable PILOTDIR set up properly and put a copy of pilot.h
 there.  If you're porting this to MS-DOS or whatever, string together