developer-manual: Document the regeneration of the RSS feed
authorFabian Keil <fk@fabiankeil.de>
Mon, 6 Feb 2023 07:43:16 +0000 (08:43 +0100)
committerFabian Keil <fk@fabiankeil.de>
Mon, 6 Feb 2023 07:51:34 +0000 (08:51 +0100)
commit743baf6ac2c438f9fc931d5910beec06fd61dd63
tree062c72c84eb141a241fe40d931a87f971b8fb53d
parentc3bea28ffa731b963a366f660d609274a86ecf09
developer-manual: Document the regeneration of the RSS feed
doc/source/developer-manual.sgml