From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37160) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fpFQx-0007Tl-BQ for guix-patches@gnu.org; Mon, 13 Aug 2018 12:11:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fpFQt-0002Po-7i for guix-patches@gnu.org; Mon, 13 Aug 2018 12:11:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:44871) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fpFQt-0002Pg-3h for guix-patches@gnu.org; Mon, 13 Aug 2018 12:11:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fpFQs-0007gF-Ul for guix-patches@gnu.org; Mon, 13 Aug 2018 12:11:02 -0400 Subject: [bug#32428] [PATCH] gnu: mit-scheme: Use minimal texlive-union. Resent-Message-ID: References: <20180813160643.15076-1-ambrevar@gmail.com> From: Pierre Neidhardt In-reply-to: Date: Mon, 13 Aug 2018 18:10:24 +0200 Message-ID: <87sh3i2qof.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 32428@debbugs.gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable I've re-used the same workaroud as emacs-ess for font generation. A little dirty (but not too much?) maybe, but I think it's much better than relying on the obese texlive package. I'll merge if nobody finds anything wrong with it. =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAltxrXAACgkQm9z0l6S7 zH9p1wf/ZPsRpI0AXWvqgaTz8APr2h+ehchu25Azn7nabXxeLA+fYaXmbcNeksQl h6qyv3RANrUIkksu8gjLkP2l1KbBE1r0D/fN6fqeUth+EfdbGPcknhI0leL1Ol8h 9ozG0iBWxvEVbeEMMx6knm+rowVjZVytA9VZxLBJgJzNDniUyPVOAHscXT8Ongfb ZS8S75OyMz2GF3dd0cJ8LR06GM38He7X4samPLF76B3dG+Acv2MirfTNeZkK4FQ8 mA6X2pXtBAdRXKIrkMbCIqoOuovA74ZL5pyrtHV4AkPYo0MIZU1AdcbgmG4V2R41 UUiRxC8rRegCUIVPMtbE/cgBRvwgQA== =kCa3 -----END PGP SIGNATURE----- --=-=-=--