Package: flex Version: 2.5.31-31 Severity: serious Tags: patch flex fails to build from source because it cannot find the HTML version of the manual produced by texi2html:
> install -p -o root -g root -m 644 debian/html/flex*.html > /tmp/buildd/flex-2.5.31/debian/flex-doc/usr/share/doc/flex-doc/ > install: cannot stat `debian/html/flex*.html': No such file or directory > make: *** [install/flex-doc] Error 1 The attached patch fixes this problem. -- Matt
diff -u flex-2.5.31/debian/local.mk flex-2.5.31/debian/local.mk --- flex-2.5.31/debian/local.mk +++ flex-2.5.31/debian/local.mk @@ -99,7 +99,7 @@ gzip -9fqr $(DOCDIR)/ # Make sure the copyright file is not compressed $(install_file) debian/copyright $(DOCDIR)/copyright - $(install_file) debian/html/flex*.html $(DOCDIR)/ + $(install_file) debian/html/flex/*.html $(DOCDIR)/ ln -s flex_toc.html $(DOCDIR)/index.html; ln -s NEWS.gz $(DOCDIR)/changelog.gz $(install_file) debian/docentry $(DOCBASEDIR)/$(package)
signature.asc
Description: Digital signature