rename rake task gen_user_guide -> user_guide

2019-06-09 13:04:12 -04:00 · 2019-06-09 13:04:12 -04:00 · c7fb88db82
commit c7fb88db82
parent 49f4367125
1 changed files with 1 additions and 1 deletions
--- a/Rakefile.rb
+++ b/Rakefile.rb
@ -88,7 +88,7 @@ EOF
  FileUtils.cp("dist/rscons", "large_project")
 end

-task :gen_user_guide do
+task :user_guide do
  system("ruby", "-Ilib", "rb/gen_user_guide.rb")
 end