view TOOLS/TOCrenumber.sh @ 9344:bd7b5078475e

1) codecs.conf changed recently and demux_gif no longer needs to spit out BGR8 upside-down. the workaround for this is removed. 2) fixes a bug so that streaming gifs now works, and removes a workaround no longer needed. now libgif uses mplayer's stream_read function and thus http streaming, etc, works with demux_gif. 3) cosmetic clean-up because i no longer plan to support certain GIF extensions that would be more difficult to implement. patch by Joey Parrish <joey@nicewarrior.org>
author arpi
date Sat, 08 Feb 2003 15:49:03 +0000
parents 44d0f2f7bd56
children e89a7e9410b4
line wrap: on
line source

#!/bin/sh
#
# Very simple tool to convert numeric TOC links to alphabetic (for translators,
# it is already done in english DOCS)
#
# Usage:
#  cd DOCS/French
#  ...
#  TOCrenumber.sh 2.3.1.2.1 xv_3dfx
#  ...
#
# by Gabucino
#

for i in *html; do
  cat $i | sed s/#$1\"/#$2\"/ > $i.new
  mv -f $i.new $i
  cat $i | sed s/NAME="$1"\>/NAME="$2"\>/ > $i.new
  mv -f $i.new $i
done