From 9059a0f99f126da045fff46db1efccbab348555e Mon Sep 17 00:00:00 2001
From: fzielcke <fzielcke@localhost>
Date: Wed, 3 Sep 2008 21:55:14 +0000
Subject: [PATCH] changing mime-type of docs/*.texi and docs/texinfo.tex to
 text/plain