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

[Antonio Goncalves]

  Branch: refs/heads/master
  Home:   https://github.com/forge/docs
  Commit: 20705983fd8afbbfb5f7755d1db69b312c755e8c
      https://github.com/forge/docs/commit/20705983fd8afbbfb5f7755d1db69b312c755e8c
  Author: Antonio Goncalves <antonio.goncalves at gmail.com>
  Date:   2014-11-07 (Fri, 07 Nov 2014)

  Changed paths:
    A tutorials/forge-hol/script/generate.fsh

  Log Message:
  -----------
  adding the generation script