텍라이브 업데이트가 진행되는 중간에 실수로 컴파일을 했습니다.

업데이트를 다시 진행해서 성공적으로 마쳤고요.

그런데 그 다음부터 texdoc이 interface3와 expl3 매뉴얼을 찾아주지 못합니다.

CTAN에서 파일들을 구했습니다만, 이런 문제는 어떻게 바로잡을 수 있을까요?