#!/bin/sh

set -e
for i in "$@" ; do
	sed 	-e "s|http://www.mpi-forum.org/docs|/usr/share/doc/mpi-specs|" \
		"$i" > "$i.tmp"
	touch -r "$i" "$i.tmp"
	mv "$i.tmp" "$i"
done


