Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-17 Thread Arsen Arsenović via Gcc-patches
Hi, "Jose E. Marchesi via Gcc-patches" writes: > Yeah I guess it all depends on how much the news section is used. > > I personally think that it would be beneficial for the different GCC > projects (front-ends, back-ends, etc) to be a little more vocal, public > wise. Releasing news items

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-17 Thread Jose E. Marchesi via Gcc-patches
> On Wed, 11 Jan 2023, Thomas Schwinge wrote: >> On 2022-12-23T10:50:13+0100, "Jose E. Marchesi via Gcc-patches" >> wrote: >>> This patch adds an Atom feed for GCC news, which can then be easily >>> aggregated in other sites, such as the GNU planet >>> (https://planet.gnu.org). >> I

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-17 Thread Gerald Pfeifer
On Fri, 23 Dec 2022, Jose E. Marchesi via Gcc-patches wrote: > This patch adds an Atom feed for GCC news I was going to approve, would like to see a bit consensus with others though. For now some review: > I recommend switching the two notes. The one on the feed feels more important since

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-17 Thread Gerald Pfeifer
On Wed, 11 Jan 2023, Thomas Schwinge wrote: > On 2022-12-23T10:50:13+0100, "Jose E. Marchesi via Gcc-patches" > wrote: >> This patch adds an Atom feed for GCC news, which can then be easily >> aggregated in other sites, such as the GNU planet >> (https://planet.gnu.org). > I absolutely agree

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-11 Thread Jose E. Marchesi via Gcc-patches
>> Hi! >> >> On 2022-12-23T10:50:13+0100, "Jose E. Marchesi via Gcc-patches" >> wrote: >>> This patch adds an Atom feed for GCC news, which can then be easily >>> aggregated in other sites, such as the GNU planet >>> (https://planet.gnu.org). >>> >>> The feed lives in a file news.xml, and this

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-11 Thread Jose E. Marchesi via Gcc-patches
> Hi! > > On 2022-12-23T10:50:13+0100, "Jose E. Marchesi via Gcc-patches" > wrote: >> This patch adds an Atom feed for GCC news, which can then be easily >> aggregated in other sites, such as the GNU planet >> (https://planet.gnu.org). >> >> The feed lives in a file news.xml, and this patch

Re: [PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2023-01-11 Thread Thomas Schwinge
Hi! On 2022-12-23T10:50:13+0100, "Jose E. Marchesi via Gcc-patches" wrote: > This patch adds an Atom feed for GCC news, which can then be easily > aggregated in other sites, such as the GNU planet > (https://planet.gnu.org). > > The feed lives in a file news.xml, and this patch initializes it

[PATCH,WWWDOCS] htdocs: add an Atom feed for GCC news

2022-12-23 Thread Jose E. Marchesi via Gcc-patches
This patch adds an Atom feed for GCC news, which can then be easily aggregated in other sites, such as the GNU planet (https://planet.gnu.org). The feed lives in a file news.xml, and this patch initializes it with the latest entry in News as an example. --- htdocs/index.html | 9 -