doxygen.jpのサンプルリンクをリダイレクトpost

doxygen.jpのマニュアルからリンクされているサンプルはリンクが切れているので本家のサンプルへ転送するユーザースクリプトです。