From 1663004ff08de9d90338cb3c04bbf45e61477d6b Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 19 Apr 2025 14:48:17 -0400
Subject: Minor formatting fixes

---
 man/man3/tomo-Num.PI_2.3 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'man/man3/tomo-Num.PI_2.3')

diff --git a/man/man3/tomo-Num.PI_2.3 b/man/man3/tomo-Num.PI_2.3
index 207d14ca..d533d6a5 100644
--- a/man/man3/tomo-Num.PI_2.3
+++ b/man/man3/tomo-Num.PI_2.3
@@ -2,7 +2,7 @@
 .\" Copyright (c) 2025 Bruce Hill
 .\" All rights reserved.
 .\"
-.TH Num.PI_2 3 2025-04-19T14:30:40.364557 "Tomo man-pages"
+.TH Num.PI_2 3 2025-04-19T14:48:15.714297 "Tomo man-pages"
 .SH NAME
 Num.PI_2 \- $\frac{\pi}{2}$
 
@@ -10,7 +10,7 @@ Num.PI_2 \- $\frac{\pi}{2}$
 Tomo Standard Library
 .SH SYNOPSIS
 .nf
-.BI 'Num.PI_2 : Num'
+.BI Num.PI_2\ :\ Num
 .fi
 
 .SH DESCRIPTION
-- 
cgit v1.2.3