mandouble revision 1.1
1 #!/bin/sh 2 3 for file 4 do 5 echo ==== $file ==== 6 deroff $file | double 7 done 8
Indexes created Sat Aug 15 00:25:12 UTC 2026