[forge-commits] [forge/docs] 207059: adding the generation script

Branch: refs/heads/master Home: https://github.com/forge/docs Commit: 20705983fd8afbbfb5f7755d1db69b312c755e8c https://github.com/forge/docs/commit/20705983fd8afbbfb5f7755d1db69b312c75... Author: Antonio Goncalves <antonio.goncalves(a)gmail.com&gt; Date: 2014-11-07 (Fri, 07 Nov 2014) Changed paths: A tutorials/forge-hol/script/generate.fsh Log Message: ----------- adding the generation script