[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: ada-mode ELPA devel branch not updating
From: |
Stefan Monnier |
Subject: |
Re: ada-mode ELPA devel branch not updating |
Date: |
Thu, 03 Nov 2022 12:38:11 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Stephen Leake [2022-11-03 07:35:10] wrote:
> I pushed an update to Gnu ELPA externals.ada-mode over 24 hours ago, but
> it's not showing in list-packages. Something is stuck.
======== Building tarball archive-devel/ada-mode-8.0.2.0.20221101.142403.tar...
Followed link to /home/elpa/elpa/master/copyright_exceptions
Build error for archive-devel/ada-mode-8.0.2.0.20221101.142403.tar: (error
"Error-indicating exit code in elpaa--call-sandboxed:
ada-mode.texi:319: `@end' expected `example', but saw `table'
ada-mode.texi:324: `@end' expected `example', but saw `table'
ada-mode.texi:324: unmatched `@end table'
ada-mode.texi:148: @menu reference to nonexistent node `wisi parser vs LSP'
ada-mode.texi:65: @detailmenu reference to nonexistent node `wisi parser vs LSP'
ada-mode.texi:102: @detailmenu reference to nonexistent node `Ada-specific
indent functions'
ada-mode.texi:152: warning: node `Supported features' is next for `wisi parser
vs LSP vs ...' in sectioning but not in menu
ada-mode.texi:152: warning: node `Overview' is up for `wisi parser vs LSP vs
...' in sectioning but not in menu
ada-mode.texi:113: node `Overview' lacks menu item for `wisi parser vs LSP vs
...' despite being its Up target
ada-mode.texi:192: warning: node `wisi parser vs LSP vs ...' is prev for
`Supported features' in sectioning but not in menu
")
######## Build of package archive-devel/ada-mode-8.0.2.0.20221101.142403.tar
FAILED!!
> Similarly for externals.wisi.
I don't see any error for `wisi`.
http://elpa.gnu.org/devel/wisi.html seems to say that it's up-to-date
with the version from Nov 1 14:02 which seems to match the timestamp on
the latest commit I see.
[ And I see that we have a bug in the HTML rendering of the News
section, Hmm... ]
Stefan