La respuesta depende del sistema de fichaje. Te aconsejamos que, para que no haya dudas en tus registros, si el permiso abarca menos de una jornada completa, simplemente ficha como si estuvieras trabajando normalmente y avisa de que te tomas el permiso retribuido. Si el permiso conlleva días completos, avisa previamente (p.ej. en el sistema interno Glohria) y no fiches.