1 #!/bin/sh 2 3 for i in $* 4 do 5 echo === $i === 6 dehtml $i | double 7 done 8
Indexes created Sat May 16 00:24:39 UTC 2026
