using <a href="//gnu.org/s/sed">GNU sed</a> and another
<code>GNUmakefile</code>. The git repository containing all the
sources used to build this site is
using <a href="//gnu.org/s/sed">GNU sed</a> and another
<code>GNUmakefile</code>. The git repository containing all the
sources used to build this site is