[BUG #7731] add copyright note to pdf manual