make git ignore personal documentation