Когда вы генерируете html-документы с noweb, на каждый кусок кода можно щелкать, когда на него ссылаются в другом месте, и вы можете перейти к этому определению, но я не могу получить те же функции с сгенерированным латексным документом.
Могут ли сгенерированные латексные документы иметь кликабельные ссылки между разными частями кода?