In pgrminclude, add code to skip includes with a marker comment.
Branch------master
Details-------http://git.postgresql.org/pg/commitdiff/6f9afc351b81a46ce9dc0f48c8a4c0af3de924e9
Modified Files--------------src/tools/pginclude/pgrminclude | 1 +1 files changed, 1 insertions(+), 0 deletions(-)
