1 #!/bin/sh 2 3 for file 4 do 5 echo ==== $file ==== 6 deroff $file | double 7 done 8
Indexes created Tue Apr 07 00:22:49 UTC 2026
