I think someone probably just went and did it manually. I bet Hugh's
done it the last few times.

Cheers,
Martin

On 2019-09-18 3:08 p.m., Peter Stadler wrote:
> Hi Martin,
>
> I really believed that releasing the Stylesheets along with the
> documentation was part of our standard release procedure. Yet, looking
> at http://teic.github.io/TCW/tcw22.html and
> https://github.com/TEIC/TEI/blob/dev/P5/Utilities/tei-install.sh I can
> not find any evidence. I thought it would be handled by running
> `tei-install.sh --package=Stylesheets …` but there is no case for the
> Stylesheets in the `case` statement (see
> https://github.com/TEIC/TEI/blob/95570777499be3438a12f47739099b70e2607d84/P5/Utilities/tei-install.sh#L32-L44).
>
> We should probably add it there but I wonder how the Stylesheets were
> released on our server before?
>
> Best
> Peter
>
>
>> Am 18.09.2019 um 08:06 schrieb Martin Holmes <mholmes@uvic.ca
>> <mailto:mholmes@uvic.ca>>:
>>
>> Hi all,
>>
>> Luis has put the latest Stylesheets release on the site:
>>
>> <https://tei-c.org/release/doc/tei-xsl/>
>>
>> Please take a look and make sure it's all where it's supposed to be.
>> We need to have a process in place for making that happen every
>> release day, though, preferably without bothering Luis.
>>
>> Cheers,
>> Martin
>> _______________________________________________
>> Tei-council mailing list
>> Tei-council@lists.tei-c.org <mailto:Tei-council@lists.tei-c.org>
>> http://lists.lists.tei-c.org/mailman/listinfo/tei-council
>
_______________________________________________
Tei-council mailing list
Tei-council@lists.tei-c.org
http://lists.lists.tei-c.org/mailman/listinfo/tei-council