[Axiom-developer] Makefile.linux change

[root]

Well it took a while to figure out but I succeeded.
The change you made to Makefile.linux doesn't need to be 
backported into the Makefile.pamphlet file because Makefile.linux
will be automatically regenerated (since it is old) and the newly
generated Makefile.linux will already have your fix applied.
In fact the correct change is to delete the Makefile.linux file.

Tim