Bug#997747: fiat: FTBFS: sed: no input files

[Lucas Nussbaum]

Source: fiat
Version: 2019.2.0~git20210116.0439689-2
Severity: serious
Justification: FTBFS
Tags: bookworm sid ftbfs
User: lucas at debian.org
Usertags: ftbfs-20211023 ftbfs-bookworm

Hi,

During a rebuild of all packages in sid, your package failed to build
on amd64.


Relevant part (hopefully):
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> dh_sphinxdoc -i
> grep "https://cdnjs.cloudflare.com/ajax/libs/mathjax/.*/latest.js" debian/python-fiat-doc/usr/share/doc/python-fiat-doc/* -r --files-with-matches | xargs sed "s|src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/.*/latest.js|src=\"file://usr/share/javascript/mathjax/unpacked/latest.js|g" -i
> sed: no input files
> make[1]: *** [debian/rules:32: override_dh_sphinxdoc-indep] Error 123


The full build log is available from:
http://qa-logs.debian.net/2021/10/23/fiat_2019.2.0~git20210116.0439689-2_unstable.log

A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

If you reassign this bug to another package, please marking it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.