EXTRA_DIST = pc-manual.xml