cvs commit: src/share/man/man9 style.9

[Garance A Drosihn]

At 10:12 AM +0000 1/6/05, Paul Richards wrote:
>On Wed, Jan 05, 2005 at 02:57:09PM -0700, Warner Losh wrote:
>>  phk>  A harder problem is to detect when the copyright ends.
>>
>  > End of the comment (or first blank line for those languages that
>  > don't have block comments).  Remember, my script grabs the entire
>  > license, not just the copyright notice.
>
>
>You seem to have done a lot of these already, but if a total sweep
>of the tree to properly demarcate copyrights was going to be done
>then I think something more deterministic and useful for processing
>would have been better. Such as a Javadoc directive, XML container
>tag or something similar etc. That would move us a step along the
>way to being able to process our source files for a number of other
>reasons as well then.

I agree with this, although I don't feel too strongly about it.  It
does seem a bit odd that we'd pick a three-character sequence that
already has some unrelated meaning, and add to it this special meaning.
If the idea was to avoid a lot of repo-churn, then we could start out
with
      "use the '/*-' trick where it works, but use the new delimiters
in any source file that you have to change because it doesn't already
have the appropriate '/*-'".

...but my guess is that this ship has already sailed.

-- 
Garance Alistair Drosehn            =   gad at gilead.netel.rpi.edu
Senior Systems Programmer           or  gad at freebsd.org
Rensselaer Polytechnic Institute    or  drosih at rpi.edu