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
