Linux pdf pushed