<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<p style="color: #777777;">
<a href="https://gitlab.com/cwagner2046">christian wagner</a>
commented:
</p>
<div style="">
<p dir="auto">Hi. You were surprised that trying to install the ".info" files led "make" to process the ".texi" files in the "doc" directory. Processing these files is automatically added to the build targets after one has executed "make clean".</p>
<p dir="auto">I did indeed run "make clean" at some point.</p>
<p dir="auto">(I run "make clean" when I tried to figure out why 2 tests were failing when executing "make check", a target I always run when installing a software from sources, when the target exists.</p>
<p dir="auto">The issue reporting the 2 failing tests is 1087.)</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/-/issues/1088#note_412846304">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/-/sent_notifications/9bf2072f3273ecb58bc2513aecb3715c/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Issue","url":"https://gitlab.com/gnutls/gnutls/-/issues/1088#note_412846304"}}</script>
</p>
</div>
</body>
</html>