I also bought a used Honda Civic '01 and di not get the manual. You can download the manual online by going to
www.normreeves.com.
When you get to that website click on the link where it says Parts/Service and then click on Ownerlink. Then just enter the make/model of your car and it will give you manual.
hope this helps