From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id aJi7FtCO7WFQGAEAgWs5BA (envelope-from ) for ; Sun, 23 Jan 2022 18:22:24 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id SGB2E9CO7WGpRwEAauVa8A (envelope-from ) for ; Sun, 23 Jan 2022 18:22:24 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id CC2B4114D2 for ; Sun, 23 Jan 2022 18:22:23 +0100 (CET) Received: from localhost ([::1]:48652 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nBgZK-0000eu-KI for larch@yhetil.org; Sun, 23 Jan 2022 12:22:22 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59198) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nBgZ2-0000ej-0q for bug-guix@gnu.org; Sun, 23 Jan 2022 12:22:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:48236) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nBgZ0-0000lo-Em for bug-guix@gnu.org; Sun, 23 Jan 2022 12:22:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nBgZ0-0006K1-8l for bug-guix@gnu.org; Sun, 23 Jan 2022 12:22:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#53339: [version-1.4.0] Package with texlive-updmap.cfg and texlive-amsfonts failing to find Euler Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sun, 23 Jan 2022 17:22:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53339 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 53339@debbugs.gnu.org Received: via spool by 53339-submit@debbugs.gnu.org id=B53339.164295851924290 (code B ref 53339); Sun, 23 Jan 2022 17:22:02 +0000 Received: (at 53339) by debbugs.gnu.org; 23 Jan 2022 17:21:59 +0000 Received: from localhost ([127.0.0.1]:41139 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nBgYw-0006Ji-Tu for submit@debbugs.gnu.org; Sun, 23 Jan 2022 12:21:59 -0500 Received: from sender4-of-o51.zoho.com ([136.143.188.51]:21168) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nBgYu-0006JY-Re for 53339@debbugs.gnu.org; Sun, 23 Jan 2022 12:21:57 -0500 ARC-Seal: i=1; a=rsa-sha256; t=1642958513; cv=none; d=zohomail.com; s=zohoarc; b=iVKJ21aB0NysZX3nwrwybjdJU9CvF93WjIYtteugjEB4IwhxBGaGaXPN7lGG3pl7WgFRjcVj98LyC8o6+OunCe69Tss9OWHviNt8pBMtXjZLwMTQ7lIVCe8mr1ESdawL1mddR5DYYYvf3cipBbcXmshiN51D/qBxiw167m/Hnmc= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1642958513; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=RJjT9tF84C31qfZgmwed8DlXt5I8FaqtounFBstgub0=; b=drqSbD2rlmVvOJV1spmYxx17ABO8jruIMiVPgdG6qN9tvBCT6DclzHNxMledioa15pbBI6pM+RU3iojmvfgO7EYtkLsyREm7+L26hZB7mz/j+85I3OMoHsoGm3s00nmvugkz1oVT73wEdHsDck8q+I0O2FRIqYH54ZZ3hWVkvaY= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1642958513; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:Date:In-reply-to:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=RJjT9tF84C31qfZgmwed8DlXt5I8FaqtounFBstgub0=; b=IQiGoKL9IJEEYnDj3AlSd+JmdzKks988DknZ7kP7YJVB9xvz6i5RFUOdnJM6Rj36 zs0VF5EAQ70XwiD1qluVXQHvrfqk/luIJOJKxYsY4T3Cviq7tlYBgSJPkukjjQlxgaB jxUB3fvqcbXOCVLET2r/1ejvB+ccpn9PYtvktGxk= Received: from localhost (p508e82b6.dip0.t-ipconnect.de [80.142.130.182]) by mx.zohomail.com with SMTPS id 1642958512639133.55032736835744; Sun, 23 Jan 2022 09:21:52 -0800 (PST) References: <3MZHV817SGKBJ.3B0327AW4LN9K@wilsonb.com> <87o846snyl.fsf@elephly.net> <87czkmqd4q.fsf@elephly.net> User-agent: mu4e 1.6.10; emacs 27.2 From: Ricardo Wurmus Date: Sun, 23 Jan 2022 18:16:25 +0100 In-reply-to: <87czkmqd4q.fsf@elephly.net> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Message-ID: <87h79unz9u.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: elaexuotee@wilsonb.com Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1642958543; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=RJjT9tF84C31qfZgmwed8DlXt5I8FaqtounFBstgub0=; b=UtGJQbSsJ4aVHozfhkxlUwJvEaPzi90HuoOJrfjVMyjmlvHGSaBYTQufOFCP+uLVfE+YN0 2DOzNo5/8XHZ7G7W54825CBDaAHw7pyIXM7VSf+uHKq6vEIDLCz3NkpdiZv95JqhtmmxYg i3rKFuulQbcqgF4piy4givtArBRHOKyIpCNh9LY43rQx4ERmIF50tSm9CtiTuwFFAk4pXk KzOISEM8zTg0lAH3On45ZOhcyKfnrRs44Fc06htX0Wkeoeh3T4ncTplpjNXC+p4C4iHOYs hv7PjH65mSj3mN4lQ8EIl865qCWF0TXygsXQc0IDU53OfekENpNnUhg7xZgCHA== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1642958543; a=rsa-sha256; cv=fail; b=qQEi96zPWbJo6Edat6hZI7uXT5GME6Mb7eq+9mDRhvmOjSvPV/2FDupgJFvebCIDS5/hFE drPCK/AvwUXwGSjPWMOj6qhfFGo56RmiWueHjWgb8chi2ZUiEyuB0RCeZ1Hm4ogiCXO3zj VTls+Kxxxovq1mtLxMuaQKoKjaEHMemzDP7DB6VVPhRyihiDJttkuywJyRh9O4EBD8g3cU Ljb3MupfS6SqjR3jMugioI+N0WRJ/MoacNaD7UnO0aANcRYDSLSlu5/JDO0r3sBlria2TQ /ovAwNf4zXmzlj7syqBaSjTv65AS6qroEX9BBQklDBfFwNlA6abd3hqVIbfQFA== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=IQiGoKL9; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.13 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=elephly.net header.s=zoho header.b=IQiGoKL9; arc=reject ("signature check failed: fail, {[1] = sig:zohomail.com:reject}"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: CC2B4114D2 X-Spam-Score: -1.13 X-Migadu-Scanner: scn1.migadu.com X-TUID: rtxFkBrMbKdN Ricardo Wurmus writes: > Ricardo Wurmus writes: > >> elaexuotee@wilsonb.com writes: >> >>> Attached patch on top of version-1.4.0 attempts to typset PDF docs for = the >>> metamath package. However, the below error results, which seems to indi= cate >>> that the Euler fonts are not found, despite texlive-amsfonts existing i= n the >>> texlive-updmap.cfg input. >>> >>> (/gnu/store/s952x1vkbbcprklzlzimn3m2dn53mjx9-texlive-amsfonts-59745= /share/texmf-dist/tex/latex/amsfonts/ueuf.fd) >>> kpathsea: Running mktextfm eufm10 >>> mkdir: cannot create directory ?././homeless-shelter?: Permission d= enied >>> mktextfm: mktexdir /homeless-shelter/.texlive2021/texmf-var/fonts/t= fm/ams/euler failed. >>> kpathsea: Appending font creation commands to missfont.log. >>>=20=20=20=20=20 >>> ! Font U/euf/m/n/10=3Deufm10 at 10.0pt not loadable: Metric (TFM) f= ile not found. >>> >> >> This is a problem with the texlive-amsfonts package. The tlpdb says >> that it should provide eufm10.tfm, but it doesn=E2=80=99t. > > It now does. > > Commit 374464a3bbd38f43784af0cdf54ddceed93e41bd adds a new > texlive-amsfonts/fixed and adds it to the replacement field of > texlive-amsfonts, so it should be grafted. > >> We can avoid these problems by checking that all texlive packages >> produce all the outputs that the tlpdb specifies. The texlive importer >> already works with the tlpdb; we=E2=80=99d just need some sort of automa= tic >> test. We could do this as part of an optional build phase. > > Commit 5ecb4acdcb95478c6efe63bf9caa4db6bda82aba implements the most > basic check. We can=E2=80=99t use it during the build, because tlpdb cur= rently > needs modules that aren=E2=80=99t available on the build side (e.g. those= to > build texlive-bin and look up a file it provides), but it can be used in > a REPL: > > ,use (guix import texlive) > (files-differ? "/gnu/store/aiknpz049bqbr73s58yaqk3ln7hq8n4x-texlive-a= msfonts-fixed-59745/share/" "amsfonts") > > This should return the empty list. As should this, which lists files > that should not have been installed according to the tlpdb: > > (files-differ? "/gnu/store/aiknpz049bqbr73s58yaqk3ln7hq8n4x-texlive-a= msfonts-fixed-59745/share/" "amsfonts" #:direction 'extra) > > The fixed package installs exactly the files it is supposed to and > nothing more. I just applied your patch and then tried to reproduce the problem. I can reproduce the problem. I then explicitly asked for texlive-amsfonts/fixed instead of texlive-amsfonts and I got past the failure to find eufm10. It=E2=80=99s not surprising, because grafts happen *after* the build, but i= t did confuse me for a bit. The new error looks a lot like bug 40558 which I had just closed: --8<---------------cut here---------------start------------->8--- starting phase `build-doc' This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021/GNU Guix) (p= reloaded format=3Dpdflatex) restricted \write18 enabled. entering extended mode (./metamath.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-02-18> LaTeX Warning: Writing file `./realref.sty'. LaTeX Warning: Writing file `./metamath.bib'. (/gnu/store/587a5yig52dyj2bfdg44dqcyqmdv0qqp-texlive-latex-base-59745/share= /texmf-dist/tex/latex/base/book.cls Document Class: book 2020/04/10 v1.4m Standard LaTeX document class (/gnu/store/587a5yig52dyj2bfdg44dqcyqmdv0qqp-texlive-latex-base-59745/share= /texmf-dist/tex/latex/base/leqno.clo) (/gnu/store/587a5yig52dyj2bfdg44dqcyq= mdv0qqp-texlive-latex-base-59745/share/texmf-dist/tex/latex/base/bk10.clo))= (/gnu/store/rvpgbbds8lk81yzx6775j6ch2xdwvv52-texlive-hyperref-59745/share/= texmf-dist/tex/latex/hyperref/hyperref.sty (/gnu/store/z3l6hyyrjha51phkfcd4= 7pmd0qfd3dk0-texlive-generic-ltxcmds-59745/share/texmf-dist/tex/generic/ltx= cmds/ltxcmds.sty) (/gnu/store/9bdsk0lyzci4mh2zjsd2xhr46xjnpbwr-texlive-gene= ric-iftex-59745/share/texmf-dist/tex/generic/iftex/iftex.sty) (/gnu/store/s= j5mmzvpj1rvf7qhmj14lqm8s55lhafc-texlive-latex-pdftexcmds-59745/share/texmf-= dist/tex/generic/pdftexcmds/pdftexcmds.sty (/gnu/store/8m9dsi7b7g0zm79xfxl9= 2hyzn1frs9a2-texlive-generic-infwarerr-59745/share/texmf-dist/tex/generic/i= nfwarerr/infwarerr.sty)) (/gnu/store/7amifddw49zp8h212nn8ks9jkw75sf4k-texli= ve-latex-graphics-59745/share/texmf-dist/tex/latex/graphics/keyval.sty) (/gnu/store/65jpn1a6ypq5wsdnvmjzw1yw283ibqy9-texlive-generic-kvsetkeys-5974= 5/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/gnu/store/scks708= 1fji2a504l8bgcfxmqss391xj-texlive-generic-kvdefinekeys-59745/share/texmf-di= st/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/gnu/store/3ghkimjblf7cpgnrj= jj84r2n7jwcq4wd-texlive-generic-pdfescape-59745/share/texmf-dist/tex/generi= c/pdfescape/pdfescape.sty) (/gnu/store/nl3vss7x4q0kxyx7hn5x955ixcsgxqy4-tex= live-latex-hycolor-59745/share/texmf-dist/tex/latex/hycolor/hycolor.sty) (/= gnu/store/mwkfbyky333q7wwirzbhkp6n7qcrq7ns-texlive-latex-letltxmacro-59745/= share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/gnu/store/gv2parv= nl34qwqkvq3rjb5i910kvgfi8-texlive-latex-auxhook-59745/share/texmf-dist/tex/= latex/auxhook/auxhook.sty) (/gnu/store/57an07pvwb6g4n06i7c0v9m3agd4w73q-tex= live-latex-kvoptions-59745/share/texmf-dist/tex/latex/kvoptions/kvoptions.s= ty) (/gnu/store/rvpgbbds8lk81yzx6775j6ch2xdwvv52-texlive-hyperref-59745/share/t= exmf-dist/tex/latex/hyperref/pd1enc.def) (/gnu/store/rvpgbbds8lk81yzx6775j6= ch2xdwvv52-texlive-hyperref-59745/share/texmf-dist/tex/latex/hyperref/hyper= ref-langpatches.def) (/gnu/store/d9y4xwdybmc4lww1m5rfclg6wnjq2m5s-texlive-g= eneric-intcalc-59745/share/texmf-dist/tex/generic/intcalc/intcalc.sty) (/gn= u/store/9fnwbv8rh4xam8fd7iq5ixga0kf59m1y-texlive-generic-etexcmds-59745/sha= re/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/gnu/store/rvpgbbds8lk81y= zx6775j6ch2xdwvv52-texlive-hyperref-59745/share/texmf-dist/tex/latex/hyperr= ef/puenc.def) (/gnu/store/mxwk2779z4c9rdpfw336llfjwvq8b1m8-texlive-url-5974= 5/share/texmf-dist/tex/latex/url/url.sty) (/gnu/store/kv80m72v0a370946z23f3= mqb9qi09kxf-texlive-generic-bitset-59745/share/texmf-dist/tex/generic/bitse= t/bitset.sty (/gnu/store/1sq5ckqm8pfk992vsf8vbknnr2jvzdpj-texlive-generic-b= igintcalc-59745/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/gnu/store/587a5yig52dyj2bfdg44dqcyqmdv0qqp-texlive-latex-base-59745/share= /texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/gnu/store/rvpgbbds8lk81yzx6= 775j6ch2xdwvv52-texlive-hyperref-59745/share/texmf-dist/tex/latex/hyperref/= hpdftex.def (/gnu/store/587a5yig52dyj2bfdg44dqcyqmdv0qqp-texlive-latex-base= -59745/share/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/gnu/store/nbb28= djqw81mh34x2g1ff5sxk7wrpcdw-texlive-latex-rerunfilecheck-59745/share/texmf-= dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/gnu/store/bsqw8xzx6s6727= sq75z0ay46awpg7qbv-texlive-generic-uniquecounter-59745/share/texmf-dist/tex= /generic/uniquecounter/uniquecounter.sty))) (/gnu/store/1z0lv49q68hmr239gyh= kl0fhii9w2k29-texlive-latex-needspace-59745/share/texmf-dist/tex/latex/need= space/needspace.sty) (/gnu/store/xj2g5msy7iaz3a8kbpd2cwcbjbd6248b-texlive-b= reqn-59745/share/texmf-dist/tex/latex/breqn/breqn.sty (/gnu/store/yfw2ldhvy= 8ppxjcaff5cjw990dxqjzpf-texlive-latex-l3kernel-59745/share/texmf-dist/tex/l= atex/l3kernel/expl3.sty (/gnu/store/c5nji3vqx4y317kcicr3lqijvphvgv5v-texlive-latex-l3backend-59745/= share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def)) (/gnu/store/znf= kb5mi7zxvyrcxbv2mbmq7l9v4327l-texlive-latex-amsmath-59745/share/texmf-dist/= tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/gnu/store/znfkb5mi7zxvyrcxbv2mbmq7l9v4327l-texlive-latex-amsmath-59745/sh= are/texmf-dist/tex/latex/amsmath/amstext.sty (/gnu/store/znfkb5mi7zxvyrcxbv= 2mbmq7l9v4327l-texlive-latex-amsmath-59745/share/texmf-dist/tex/latex/amsma= th/amsgen.sty)) (/gnu/store/znfkb5mi7zxvyrcxbv2mbmq7l9v4327l-texlive-latex-= amsmath-59745/share/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/gnu/store/zn= fkb5mi7zxvyrcxbv2mbmq7l9v4327l-texlive-latex-amsmath-59745/share/texmf-dist= /tex/latex/amsmath/amsopn.sty)) (/gnu/store/7amifddw49zp8h212nn8ks9jkw75sf4= k-texlive-latex-graphics-59745/share/texmf-dist/tex/latex/graphics/graphicx= .sty (/gnu/store/7amifddw49zp8h212nn8ks9jkw75sf4k-texlive-latex-graphics-59= 745/share/texmf-dist/tex/latex/graphics/graphics.sty (/gnu/store/7amifddw49= zp8h212nn8ks9jkw75sf4k-texlive-latex-graphics-59745/share/texmf-dist/tex/la= tex/graphics/trig.sty) (/gnu/store/zga4xvyy7h1ww3isg35l6y2yp3m2hcs0-texlive= -graphics-cfg-59745/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/gnu/store/s7bg33d6knlkn7bab9756pk7g747clps-texlive-graphics-def-59745/sha= re/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/gnu/store/vywyhkvz2nr5= 037jfz8f10mzcszh5ldh-texlive-flexisym-59745/share/texmf-dist/tex/latex/breq= n/flexisym.sty (/gnu/store/vywyhkvz2nr5037jfz8f10mzcszh5ldh-texlive-flexisy= m-59745/share/texmf-dist/tex/latex/breqn/cmbase.sym) (/gnu/store/wszi2z0hz9= wk21ylfyvzgrfwdd78gkl4-texlive-mathstyle-59745/share/texmf-dist/tex/latex/b= reqn/mathstyle.sty)) (/gnu/store/igzyhzbvn3nmr6fjn33kdxq6f5mmnlzz-texlive-l= atex-tools-59745/share/texmf-dist/tex/latex/tools/calc.sty)) (/gnu/store/gh= 6xyp556my7lxwbmv9aibvvc2844v2f-texlive-microtype-59745/share/texmf-dist/tex= /latex/microtype/microtype.sty (/gnu/store/gh6xyp556my7lxwbmv9aibvvc2844v2f= -texlive-microtype-59745/share/texmf-dist/tex/latex/microtype/microtype-pdf= tex.def) (/gnu/store/gh6xyp556my7lxwbmv9aibvvc2844v2f-texlive-microtype-597= 45/share/texmf-dist/tex/latex/microtype/microtype.cfg)) (/gnu/store/wdq836g7zd1a0vlsgj14nrq22iv0djb3-texlive-makecell-59745/share/t= exmf-dist/tex/latex/makecell/makecell.sty (/gnu/store/igzyhzbvn3nmr6fjn33kd= xq6f5mmnlzz-texlive-latex-tools-59745/share/texmf-dist/tex/latex/tools/arra= y.sty)) (/gnu/store/igzyhzbvn3nmr6fjn33kdxq6f5mmnlzz-texlive-latex-tools-59= 745/share/texmf-dist/tex/latex/tools/longtable.sty) (/gnu/store/br82d1v2rmx= 0vqljrqfvnj2mss5gp26c-texlive-tabu-59745/share/texmf-dist/tex/latex/tabu/ta= bu.sty (/gnu/store/3abywx5j53mvridad7ljz8zl10wjbilr-texlive-latex-varwidth-= 59745/share/texmf-dist/tex/latex/varwidth/varwidth.sty)) (./realref.sty) (/= gnu/store/aiknpz049bqbr73s58yaqk3ln7hq8n4x-texlive-amsfonts-fixed-59745/sha= re/texmf-dist/tex/latex/amsfonts/amssymb.sty (/gnu/store/aiknpz049bqbr73s58= yaqk3ln7hq8n4x-texlive-amsfonts-fixed-59745/share/texmf-dist/tex/latex/amsf= onts/amsfonts.sty)) (/gnu/store/0jakmwvyf28fcjlvlbp7g4hbvikp7lry-texlive-la= tex-anysize-59745/share/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) (./special-settings.sty) Writing index file metamath.idx No file metamath.aux. (/gnu/store/rvpgbbds8lk81yzx6775j6ch2xdwvv52-texlive-hyperref-59745/share/t= exmf-dist/tex/latex/hyperref/nameref.sty (/gnu/store/198aipzigqav60nyy1970f= cfd019xyp1-texlive-latex-refcount-59745/share/texmf-dist/tex/latex/refcount= /refcount.sty) (/gnu/store/ah1pabxq8q7p09mnp1djl3bklwl2r5nw-texlive-generic= -gettitlestring-59745/share/texmf-dist/tex/generic/gettitlestring/gettitles= tring.sty)) (/gnu/store/rs64dc2d1b3zp9xbqxjrbprkhsyzw7i5-texlive-latex-epst= opdf-pkg-59745/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/= gnu/store/7imc8xwaa0xm5bg47barmvjnkgfqyypd-texlive-latexconfig-59745/share/= texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/gnu/store/gh6xyp556my= 7lxwbmv9aibvvc2844v2f-texlive-microtype-59745/share/texmf-dist/tex/latex/mi= crotype/mt-cmr.cfg) [1{/gnu/store/alvxjk3cfji845csj2ppr8bkmylj7wvx-texlive-= updmap.cfg-59745/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (/gnu/store/aiknpz049bqbr73s58yaqk3ln7hq8n4x-texlive-amsfonts-fixed-59745/s= hare/texmf-dist/tex/latex/amsfonts/umsa.fd) (/gnu/store/gh6xyp556my7lxwbmv9= aibvvc2844v2f-texlive-microtype-59745/share/texmf-dist/tex/latex/microtype/= mt-msa.cfg) (/gnu/store/aiknpz049bqbr73s58yaqk3ln7hq8n4x-texlive-amsfonts-f= ixed-59745/share/texmf-dist/tex/latex/amsfonts/umsb.fd) (/gnu/store/gh6xyp5= 56my7lxwbmv9aibvvc2844v2f-texlive-microtype-59745/share/texmf-dist/tex/late= x/microtype/mt-msb.cfg) ! Math formula deleted: Insufficient extension fonts. l.861 $\sim$ \ {\sc Public Domain}\ $\sim$ ?=20 ! Emergency stop. l.861 $\sim$ \ {\sc Public Domain}\ $\sim$ ! =3D=3D> Fatal error occurred, no output PDF file produced! Transcript written on metamath.log. error: in phase 'build-doc': uncaught exception: %exception #<&invoke-error program: "pdflatex" arguments: ("metamath") exit= -status: 1 term-signal: #f stop-signal: #f>=20 --8<---------------cut here---------------end--------------->8--- I don=E2=80=99t know what that=E2=80=99s about. --=20 Ricardo