Chris,
given that I have an original OS/2 (Version 2.11) package, unopened,
still sealed, up on (German) eBay for a couple of days now, and it did
not attract any offers so far, I assume that your manuals will probably
have no merchandising value. See
http://cgi.ebay.de/ws/eBayISAPI.dll?ViewItem&item=2084022487 if you want
to compare.
However, I'd welcome anybody to prove me wrong! ;-)
While I don't want OS/2, manuals and doc's are just as
important as the software or hardware!