How do I properly add newly generated docs to mruby.github.io?

The last bit of documentation I wrote was approved of and merged by @matz into mruby. Now I want to add the documentation to mruby.org. Usually what would happen is that I'd generate the doc using mruby-yard. In this case, the only thing that changed was that I added docs to string.h. So I'd then take the generated doc in this case a file called mruby_2Fstring.h.html. Then I'd just copy and paste it to the proper directory in mruby.github.io then I'd do a PR. Of course, if it's merged it would then go live. Is that still okay? Because I remember before @zzak said that the size was too big. I want to make sure I do this correctly this time!

Empieza revisando la página generada mruby_2Fstring.h.html, la ruta de generación de mruby-yard y el diseño existente de mruby.github.io. Lee el PR #39 anterior por la preocupación relacionada con el tamaño y, después, confirma el proceso actual de publicación con los mantenedores. Se considera terminado cuando haya un procedimiento acordado y, si se solicita, un PR que lo siga.