한글: 개발자 문서 매뉴얼 검색 및 활용 - 이맥스 데브독스 에서 개발 매뉴얼 중에 한글로 번역된 많은 공식 문서를 연동하는 방법을 다루었다. 여기에서는 coq-lookup 에서 확인 한 바, PDF 파일에서 인덱스 추출하고 연동하는 방법을 고민해보고자 한다.
x86-lookup coq-lookup 인덱스 추출 및 연동
뭐지 공식 매뉴얼은 구조다 동일하기에 인덱스를 추출해서 메뉴얼 도구로 활용할 수 있다. 여기서 착안한 것이 아래 패키지들이다.
- #FIXME 8617c3fa-de4e-433e-ad28-a7df8165b858][Christopher Wellons - skeeto - nullprogram.com 이맥스 고수]] 이 분이 만든 패키지다.
-
(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)
coq-lookup 사례 응용
- coq-lookup.el 을 위한 Coq PDF 메뉴얼을 다운 받자 여기서 메뉴얼을 구한다.
https://github.com/coq/coq/releases?page=2
PDF-Tools 기능 이해
- #FIXME h:a45f24ad-faf1-4286-9008-d579e9855c9e][Vedang Manerikar- vedang]] 베당한테 pdf-tools 를 배워라.
Related-Notes
References
Wellons, Christopher. (2015) 2024. “Skeeto/X86-Lookup.” https://github.com/skeeto/x86-lookup.
———. (2014) 2024. “Skeeto/Devdocs-Lookup.” https://github.com/skeeto/devdocs-lookup.