On 2018-02-20 16:58, Gunnar Hjalmarsson wrote:
Indeed we put files with .html.<lang> on the server, but for historical reasons that step is accomplished with sed(). ;)
Apparently not sed(), rather cp and/or mv. Sorry, I'm a bit absent-minded today.
-- Gunnar Hjalmarsson https://launchpad.net/~gunnarhj _______________________________________________ gnome-doc-list mailing list gnome-doc-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-doc-list