I recall a program on the Discovery Channel some months ago covering great battles and this conflict was covered - not to detail - but the great lines and this operation was mentioned.
Google it if you want more information, or check out:
http://en.wikipedia.org/wiki/6-Day_War