# indent needs to know type names do to a proper job.
# Type names located with grep typedef, then extracted by hand:
types="bit_fdmask bit_mask caddr_t coord ef_fileinit emp_sig_t empth_sem_t empth_t intp iop_t iovec_t loc_Sem_t loc_Thread_t natid plate_e pointer qsort_func_t s_char stkalign_t u_char u_int u_short vf_ptr voidfunc"
-opts="-kr -cdw -cp8 -ncs -psl -nsob -ss"
+
+opts="-kr -cdw -cp8 -ncs -psl -ss"
for t in $types
do opts="$opts -T $t"
done
-# Quote The indent Manual, Edition 2.2.8, section Bugs:
+# Quote `The `indent' Manual', Edition 2.2.8, section Bugs:
#
# Comments of the form /*UPPERCASE*/ are not treated as comment but
# as an identifier, causing them to be joined with the next