doc-base file refers to non-existant file

[Laurent Bonnaud]

Hi,

here is the problem:

$ install-docs --verbose --check /usr/share/doc-base/git-doc.git-index-format
Warning in `/usr/share/doc-base/git-doc.git-index-format', line 9: file mask `/usr/share/doc/git-doc/technical/index-format.txt' does not match any files.
Error in `/usr/share/doc-base/git-doc.git-index-format', line 9: all `Format' sections are invalid.
/usr/share/doc-base/git-doc.git-index-format: Fatal error found, the file won't be registered.

ProblemType: Bug
DistroRelease: Ubuntu 23.04
Package: git-doc 1:2.39.2-1ubuntu1
ProcVersionSignature: Ubuntu 6.2.0-18.18-generic 6.2.6
Uname: Linux 6.2.0-18-generic x86_64
ApportVersion: 2.26.0-0ubuntu2
Architecture: amd64
CasperMD5CheckResult: unknown
CurrentDesktop: KDE
Date: Thu Mar 30 13:42:11 2023
Dependencies:

PackageArchitecture: all
SourcePackage: git
UpgradeStatus: No upgrade log present (probably fresh install)

[Laurent Bonnaud (laurent-bonnaud)]

I am closing this bug since it has been fixed in mantic.
Thanks!