Export to PDF?

Description

Guia do colaborador

Pilha de tecnologia

None

Domain

documentation

Tipo Issue

feature

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

3

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

1-2 days

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

stale

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

unclear

Prerequisites

Understanding of the LSP spec's documentation pipelineFamiliarity with PDF generation tools like Pandoc or wkhtmltopdf

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

25

Direção de pesquisa

First, review the repository's documentation build system in the 'website' directory or similar. Identify the current format of the spec (likely Markdown or HTML). Then, investigate existing PDF generation tools (e.g., Pandoc, wkhtmltopdf) and evaluate integration into the current build process. It is crucial to open a discussion with maintainers to clarify the exact requirements, such as whether the PDF should mirror the HTML spec exactly or have a different layout. Check the two existing comments on the issue for any additional context. Finally, provide a proof of concept PR integrating PDF generation into the CI/CD pipeline.