diff options
Diffstat (limited to 'japanese/another-htmllint/files/patch-htmllintenv')
| -rw-r--r-- | japanese/another-htmllint/files/patch-htmllintenv | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/japanese/another-htmllint/files/patch-htmllintenv b/japanese/another-htmllint/files/patch-htmllintenv new file mode 100644 index 000000000000..671558ad4d5d --- /dev/null +++ b/japanese/another-htmllint/files/patch-htmllintenv @@ -0,0 +1,22 @@ +--- htmllintenv.orig Tue May 22 17:33:22 2001 ++++ htmllintenv Wed Sep 12 19:37:32 2001 +@@ -5,15 +5,15 @@ + # アクセス権をうまく工夫して、他人から見えないようにしてください。 + + # CGI 用ディレクトリ (絶対パスかCGI相対パスで指定、なるべく絶対パスにしてください) +-$RULEDIR = './'; # 規則ファイルの場所 +-#$LOGSDIR = './logs/'; # ログファイルの場所 (不要ならコメントアウト) ++$RULEDIR = '%PREFIX%/share/htmllint/rule/'; # 規則ファイルの場所 ++#$LOGSDIR = '%PREFIX%/share/htmllint/logs/'; # ログファイルの場所 (不要ならコメントアウト) + $TMPDIR = '/tmp/'; # テンポラリファイルの場所 +-$IMGDIR = './'; # イメージファイルの場所 ++$IMGDIR = '%PREFIX%/share/htmllint/html/'; # イメージファイルの場所 + $TAGSLIST = ''; # タグ一覧キャッシュ用の場所 (空ならキャッシュしない) + # 設定するときはアクセス権を適当に与えておくこと + + # HTML 用ディレクトリ (CGI が出力する HTML 中で使う) +-$HTMLDIR = './'; # HTMLファイルの場所 ++$HTMLDIR = ''; # HTMLファイルの場所 + $GATEWAYURL = $HTMLDIR.'htmllint.html'; # ゲイトウェイサーヴィス HTML + $EXPLAIN = $HTMLDIR.'explain.html'; # 解説用 HTML (HTML用) + $CGIROOT = $HTMLDIR; # CGIの場所 |