物置っぽい何か

sedでPHPのマニュアルにスタイルシートを追加するコマンド．

for file in `find ./ -name "*.html"`; do
  mv "$file" "$file.orig";
  sed -e 's/^><TITLE/><link rel="stylesheet" type="text\/css" href="..\/man_php.css"\n><TITLE/' "$file.orig" > "$file";
  rm -f "$file.orig";
done