Skip to content
  • Alexandre Duret-Lutz's avatar
    man page cosmetics · f03ba4b5
    Alexandre Duret-Lutz authored
    * src/bin/man/genltl.x, src/bin/man/ltlcheck.x, src/bin/man/ltlfilt.x,
    src/bin/man/randltl.x: Use .BR in the SEE ALSO section.
    f03ba4b5