#!/bin/sh

mv Makefile Makefile.linux
mv README README.linux

# Note: remove $'s around RCS Ids, so that they won't get expanded
