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