---
title: "#매뉴얼 #번역 PDF 인덱스 추출 연동 - 이맥스 coq-lookup"
url: "https://notes.junghanacs.com/notes/20240708T060954"
author: "Junghan Kim"
date: "2024-07-08T06:09:00+09:00"
lastmod: "2024-12-01T06:30:00+09:00"
tags: ["emacs"]
description: "Coq PDF 매뉴얼의 인덱스를 추출해 이맥스 lookup 도구와 연결하려는 실험 기록."
---

> [!abstract] 이 노트에 대하여
> 
> Coq PDF 매뉴얼을 내려받아 인덱스를 추출하고 lookup 도구로 연결하는 방법을 고민한 노트다. x86-lookup과 devdocs-lookup 같은 선행 사례를 참고해 매뉴얼 탐색 흐름을 확장하려는 시도가 담겨 있다.

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

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

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

-   <SPAN CLASS="ORG-HASHTAG">#FIXME</SPAN> 8617c3fa-de4e-433e-ad28-a7df8165b858][Christopher Wellons - skeeto - nullprogram.com 이맥스 고수]] 이 분이 만든 패키지다.



-   ([“Skeeto/X86-Lookup” 2024](https://notes.junghanacs.com/notes/20240708T060954#citeproc_bib_item_2))- "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 ([“Skeeto/Devdocs-Lookup” 2024](https://notes.junghanacs.com/notes/20240708T060954#citeproc_bib_item_1))

## coq-lookup 사례 응용

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

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

## PDF-Tools 기능 이해

-   <SPAN CLASS="ORG-HASHTAG">#FIXME</SPAN> 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>.