On 01/07/2018 02:38 PM, Bruno Haible wrote:
Thank you. It worked perfectly. Sorry that I did not consult the documentation first.PS: The documentation is already complete on this topic: https://www.gnu.org/software/gnulib/manual/html_node/Multiple-instances.html
Charlie