Update source for generated asciidoc

There were updates to asciidoc generated from js files using
scratchy. However, the source code was not updated.