Când configure al Tinyproxy eșuează menționând un generator de pagini de manual, este vorba de o verificare a precondițiilor de compilare. Aceasta are loc înainte ca proxy-ul instalat să poată asculta cereri.

Arborele sursă contează. Rețetele de compilare mai vechi menționează AsciiDoc și a2x. Codul configure actual din upstream verifică pod2man când suportul pentru paginile de manual este activat și distribuția nu conține deja manuale generate.

Pentru un arbore sursă cu acea opțiune acceptată, o compilare care omite intenționat paginile de manual locale poate fi configurată astfel:

./configure --disable-manpage-support

Verificați opțiunile versiunii exacte a sursei care se compilează. Dezactivarea documentației nu alege un port de proxy și nu modifică politica de redirecționare HTTP; schimbă doar ce produse de compilare sunt solicitate.

Dacă manualele sunt necesare, furnizați generatorul așteptat de acea versiune sau folosiți distribuția de lansare cu pagini generate acolo unde sunt oferite. README-ul din upstream distinge și o copie Git, care are nevoie de pasul bootstrap al proiectului, de un tarball de lansare cu script configure.

Preferați opțiunea configure acceptată în locul ștergerii unei intrări docs dintr-un Makefile generat. Regenerarea fișierelor de compilare poate înlocui acea modificare manuală, în timp ce alegerea configure înregistrează compilarea dorită.

Articole similare