Thanks Paul and Philip for giving the official name and pointing to the correct 
documentation.

_______________________________________________
Help-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to