Package: swi-prolog-doc
Version: 8.2.4+dfsg-1
Severity: normal
Dear Maintainer,
I encountered the below "all `Format' sections are invalid" error
while installing the 'swi-proglog-doc' package:
# apt-get -u install swi-prolog{,-doc}
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
The following additional packages will be installed:
swi-prolog-core swi-prolog-core-packages swi-prolog-nox swi-prolog-x
Suggested packages:
elpa-ediprolog swi-prolog-java swi-prolog-odbc swi-prolog-bdb
The following NEW packages will be installed:
swi-prolog swi-prolog-core swi-prolog-core-packages swi-prolog-nox
swi-prolog-x
The following packages will be upgraded:
swi-prolog-doc
1 upgraded, 5 newly installed, 0 to remove and 78 not upgraded.
Need to get 3,545 kB/6,295 kB of archives.
After this operation, 24.6 MB of additional disk space will be used.
Do you want to continue? [Y/n]
Get:1 https://deb.debian.org/debian bullseye/main amd64
swi-prolog-core-packages amd64 8.2.4+dfsg-1 [1,202 kB]
Get:2 https://deb.debian.org/debian bullseye/main amd64 swi-prolog-nox
amd64 8.2.4+dfsg-1 [172 kB]
Get:3 https://deb.debian.org/debian bullseye/main amd64 swi-prolog-x amd64
8.2.4+dfsg-1 [2,144 kB]
Get:4 https://deb.debian.org/debian bullseye/main amd64 swi-prolog amd64
8.2.4+dfsg-1 [27.6 kB]
...
Processing triggers for doc-base (0.11.1) ...
Processing 2 removed doc-base files, 26 added doc-base files...
=> Error in `/usr/share/doc-base/swi-prolog-manual', line 10: all `Format'
sections are invalid.
=> Note: `install-docs --verbose --check file_name' may give more details
about the above error.
Processing triggers for libc-bin (2.31-13+deb11u10) ...
...
# echo $?
0
Following the hint from the 'Note:...' after the error, I ran:
# /usr/sbin/install-docs --verbose --check
/usr/share/doc-base/swi-prolog-manual
Warning in `/usr/share/doc-base/swi-prolog-manual', line 10: file
`/usr/share/doc/swi-prolog-doc/Manual/index.html' does not exist.
Error in `/usr/share/doc-base/swi-prolog-manual', line 10: all `Format'
sections are invalid.
/usr/share/doc-base/swi-prolog-manual: Fatal error found, the file won't be
registered
And sure enough, that 'index.html' file does not exist at that
location:
$ file /usr/share/doc/swi-prolog-doc/Manual/index.html
/usr/share/doc/swi-prolog-doc/Manual/index.html: cannot open
`/usr/share/doc/swi-prolog-doc/Manual/index.html' (No such file or directory)
I'll note that there does exist the file:
$ file /usr/share/swi-prolog/doc/Manual/import.html
/usr/share/swi-prolog/doc/Manual/import.html: HTML document, ASCII text
which was reportedly installed by the 'swi-prolog-doc' package:
$ dpkg -S /usr/share/swi-prolog/doc/Manual/import.html
swi-prolog-doc: /usr/share/swi-prolog/doc/Manual/import.html
I'll also note that the 'Manual/' subdirectory is empty here:
$ tree -axNpugsDF --dirsfirst /usr/share/doc/swi-prolog-doc
/usr/share/doc/swi-prolog-doc
├── [drwxr-xr-x root root 12288 Jul 4 11:01] Manual/
├── [lrwxrwxrwx root root 29 Jan 30 2021] packages ->
../../swi-prolog/doc/packages/
├── [-rw-r--r-- root root 763 Jan 30 2021] NEWS.Debian.gz
├── [-rw-r--r-- root root 17807 Jan 30 2021]
changelog.Debian.gz
└── [-rw-r--r-- root root 22346 Jan 30 2021] copyright
2 directories, 3 files
Perhaps it was intended that that directory would have symlinks to
the files under:
/usr/share/swi-prolog/doc/Manual/
?
Here is the content of the file /usr/share/doc-base/swi-prolog-manual:
$ cat /usr/share/doc-base/swi-prolog-manual
Document: swi-prolog-manual
Title: SWI-Prolog Reference Manual
Author: SWI-Prolog development team
Abstract: This document gives an overview of the features, system
limits and built-in predicates of SWI-Prolog.
Section: Programming/Prolog
Format: HTML
Index: /usr/share/doc/swi-prolog-doc/Manual/index.html
Files: /usr/share/doc/swi-prolog-doc/Manual/*
Using 'apt-file' to look back through Debian releases, it looks like
maybe the last release to have the
'/usr/share/doc/swi-prolog-doc/Manual/index.html' file at the path
expected by the '/usr/share/doc-base/swi-prolog-manual' file was
Debian 10.x ("buster"):
$ for onesuite in sid trixie bookworm{,-backports} \
bullseye{,-backports} buster stretch; do \
printf '%s: %s\n' \
"${onesuite}" \
"$(apt-file --filter-suites "${onesuite}" search
/usr/share/doc/swi-prolog-doc/Manual/index.html || echo '<none>')" ;\
done
sid: <none>
trixie: <none>
bookworm: <none>
bookworm-backports: <none>
bullseye: <none>
bullseye-backports: <none>
buster: swi-prolog-doc: /usr/share/doc/swi-prolog-doc/Manual/index.html
stretch: swi-prolog-doc: /usr/share/doc/swi-prolog-doc/Manual/index.html
Thanks,
-Al
-- System Information:
Debian Release: 11.10
APT prefers oldstable-security
APT policy: (990, 'oldstable-security'), (990, 'oldstable-debug'), (990,
'oldstable'), (800, 'testing-debug'), (800, 'testing'), (500,
'stable-updates'), (500, 'stable-security'), (500, 'stable-debug'), (500,
'proposed-updates'), (500, 'oldstable-updates'), (500,
'oldstable-proposed-updates'), (500, 'oldoldstable-updates'), (500,
'oldoldstable-debug'), (500, 'oldoldstable'), (500, 'stable'), (500,
'oldstable'), (80, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.10.0-30-amd64 (SMP w/12 CPU threads)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE,
TAINT_UNSIGNED_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: sysvinit (via /sbin/init)
LSM: AppArmor: enabled
Versions of packages swi-prolog-doc depends on:
ii swi-prolog-core 8.2.4+dfsg-1
swi-prolog-doc recommends no packages.
swi-prolog-doc suggests no packages.
-- no debconf information
