re: Documentation of abs(3), div(3) etc.

   
   Christian Biere <[email protected]> writes:
   > I have attached a patch for the manpages. I've also changed "BUGS"
   > to "CAVEAT" because these aren't bugs, it's broken by design.
   
   I think your patch is okay modulo the "BUGS" vs "CAVEAT" thing. "BUGS"
   in a man page often means (as a term of art) "things we cannot fix but
   which are annoying" rather than literal bugs.


hmm i would keep BUGS here too.  but BUGS also is for real bugs
that just haven't been fixed yet...and they sometimes go away
when people fix them.


.mrg.