PDF 매뉴얼 인덱스 추출 및 연동 - 이맥스 coq-lookup 사례

한글: 개발자 문서 매뉴얼 검색 및 활용 - 이맥스 데브독스 에서 개발 매뉴얼 중에 한글로 번역된 많은 공식 문서를 연동하는 방법을 다루었다. 여기에서는 coq-lookup 에서 확인 한 바, PDF 파일에서 인덱스 추출하고 연동하는 방법을 고민해보고자 한다.

x86-lookup coq-lookup 인덱스 추출 및 연동

뭐지 공식 매뉴얼은 구조다 동일하기에 인덱스를 추출해서 메뉴얼 도구로 활용할 수 있다. 여기서 착안한 것이 아래 패키지들이다.

이 분이 만든 패키지다.

• (Wellons [2015] 2024)- “skeeto/x86-lookup” Wellons, Christopher 2024 Quickly jump to x86 documentation from Emacs

• “skeeto/devdocs-lookup” Wellons, Christopher 2024 Quick Emacs API lookup on devdocs.io (Wellons [2014] 2024)

NEXT coq-lookup 사례 응용

• coq-lookup.el 을 위한 Coq PDF 메뉴얼을 다운 받자 여기서 메뉴얼을 구한다.

https://github.com/coq/coq/releases?page=2

NEXT PDF-Tools 기능 이해

베당한테 pdf-tools 를 배워라.

Related-Notes

References