anchor.diff:  |STOP_KEY      |redpen.stop   |RedPen サーバはストップキーを登録すると http 経由で終了できます。http 経由で終了させたくない場合にはコメントアウトしてください。
   |=======================================================================
   
  -RedPen サーバが提供する機能については <<redpen-server>> 節を参照してください。
  +サーバが提供する機能については <<redpen-server>> 節を参照してください。
  
positive.code: [[usage-redpen]]
  ==== 使い方: redpen
  
  redpen コマンドは以下のように利用します。
  
  [source,bash]
  ------------------------------------------------
  
negative.code: [[sample-server]]
  === RedPen サーバ
  
  RedPen はサーバ機能を提供します。
  
  [[usage-redpen-server]]
  ==== 使い方: redpen-server
  