Modify new attribute from previous patch so that it is necessary only on
authorEamon Walsh <ewalsh@tycho.nsa.gov>
Tue, 10 Apr 2007 15:56:06 +0000 (11:56 -0400)
committerEamon Walsh <ewalsh@moss-uranus.epoch.ncsc.mil>
Tue, 10 Apr 2007 15:56:06 +0000 (11:56 -0400)
extensions with split names.  Tested with diff and found no difference with
previous stylesheet header-file output.


No differences found