diff --git a/.rdoc_options b/.rdoc_options new file mode 100644 index 0000000000..88db0774e7 --- /dev/null +++ b/.rdoc_options @@ -0,0 +1,2 @@ +--- +page_dir: doc