Log Message:
-----------
Fix pgrminclude to work for stripping include files.
Modified Files:
--------------
pgsql/src/tools/pginclude:
pgrminclude (r1.12 -> r1.13)
(http://developer.postgresql.org/cvsweb.cgi/pgsql/src/tools/pginclude/pgrminclude.diff?r1=1.12&r2=1.13)