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

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

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

  • #FIXME 8617c3fa-de4e-433e-ad28-a7df8165b858][Christopher Wellons - skeeto - nullprogram.com 이맥스 고수]] 이 분이 만든 패키지다.

NEXT coq-lookup 사례 응용

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

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

NEXT PDF-Tools 기능 이해

  • #FIXME h:a45f24ad-faf1-4286-9008-d579e9855c9e][Vedang Manerikar- vedang]] 베당한테 pdf-tools 를 배워라.

BIBLIOGRAPHY

“Skeeto/Devdocs-Lookup.” 2024. https://github.com/skeeto/devdocs-lookup.

“Skeeto/X86-Lookup.” 2024. https://github.com/skeeto/x86-lookup.