i18n of make_macro

[Francisco Vila]

IMO, the @downloadStableSource{} call from download.itexi should be i13zed.

This could be done modifying

  scripts/build/create-version-itexi.py

so that

  def make_download_source(name, vstring, version):

accepts an additional argument prefix="Source" and making make_macro
to include that prefix as a part of the macro definition it creates.

So, calling it as

  @downloadStableSource{"Another_Prefix"} should do the trick. Do you
think that should work? I could test it and make a patch.

-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com