diff options
author | Jari Vetoniemi <jari.vetoniemi@indooratlas.com> | 2020-03-16 18:49:26 +0900 |
---|---|---|
committer | Jari Vetoniemi <jari.vetoniemi@indooratlas.com> | 2020-03-30 00:39:06 +0900 |
commit | fcbf63e62c627deae76c1b8cb8c0876c536ed811 (patch) | |
tree | 64cb17de3f41a2b6fef2368028fbd00349946994 /jni/ruby/benchmark/gc/rdoc.rb |
Fresh start
Diffstat (limited to 'jni/ruby/benchmark/gc/rdoc.rb')
-rw-r--r-- | jni/ruby/benchmark/gc/rdoc.rb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/jni/ruby/benchmark/gc/rdoc.rb b/jni/ruby/benchmark/gc/rdoc.rb new file mode 100644 index 0000000..14c89f5 --- /dev/null +++ b/jni/ruby/benchmark/gc/rdoc.rb @@ -0,0 +1,13 @@ +require 'rdoc/rdoc' +require 'tmpdir' + +srcdir = File.expand_path('../..', __dir__) + +Dir.mktmpdir('rdocbench-'){|d| + dir = File.join(d, 'rdocbench') + args = %W(--root #{srcdir} --page-dir #{srcdir}/doc --encoding=UTF-8 --no-force-update --all --ri --debug --quiet #{srcdir}) + args << '--op' << dir + + r = RDoc::RDoc.new + r.document args +} |