Revision 70ac784f4daf617787b3ba9507b8b8b3318d6176

Committed on 10/09/2013 3:00 pm by gggeek <gg@ez.no> [GitHub Diff]

add dedicated shell script for legacy doc builds