Function: info-insert-file-contents

Insert the contents of an Info file in the current buffer.
Do the right thing if the file has been compressed or zipped.