2010/5/29 Alan BRASLAU <alan.bras...@cea.fr>: > The official 64bit OS name is "amd64" for FreeBSD, GNU/kFreeBSD and Linux.
The is no OS named Linux. http://en.wikipedia.org/wiki/Amd64#Industry_naming_conventions Best Martin ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________