Manufacturing output rose 3.8 percent in May