I can't speak as an End User, only as an implementer and what some of our End Users have preferred over the years.
Generally, I see a lot of End Users prefer Option 2. Smaller, bite-sized documents that cover specific functions within the app as opposed to thumbing through a larger manual. I've used Microsoft Publisher quite a bit to attempt to fit as much information, screenshots, text, etc. onto a single page that can be laminated and kept near the keyboard.
This is obviously more preference and not a "fits all" thing. I've seen both work. But generally, I see more preference toward the smaller, cheat-sheet style documents than larger manuals.
Hope this helps,
------------------------------
Alex Walter
A3J Group, LLC
------------------------------