diff options
| -rw-r--r-- | build-helpers/text2html.sed (renamed from build-helpers/txt2html.sed) | 0 | ||||
| -rw-r--r-- | doc/Makefile-files | 6 |
2 files changed, 3 insertions, 3 deletions
diff --git a/build-helpers/txt2html.sed b/build-helpers/text2html.sed index e8017dd..e8017dd 100644 --- a/build-helpers/txt2html.sed +++ b/build-helpers/text2html.sed diff --git a/doc/Makefile-files b/doc/Makefile-files index d2b8992..7460bce 100644 --- a/doc/Makefile-files +++ b/doc/Makefile-files @@ -12,10 +12,10 @@ EXTRA_DIST += doc/HEADER.html UPLOAD_FILES += doc/FOOTER.html CLEANFILES += doc/FOOTER.html -EXTRA_DIST += build-helpers/txt2html.sed +EXTRA_DIST += build-helpers/text2html.sed -doc/FOOTER.html: $(top_srcdir)/README $(top_srcdir)/build-helpers/txt2html.sed +doc/FOOTER.html: $(top_srcdir)/README $(top_srcdir)/build-helpers/text2html.sed mkdir -p doc - $(SED) -f "$(top_srcdir)/build-helpers/txt2html.sed" $(top_srcdir)/README > "doc/FOOTER.html.new" + $(SED) -f "$(top_srcdir)/build-helpers/text2html.sed" $(top_srcdir)/README > "doc/FOOTER.html.new" test -s "doc/FOOTER.html.new" mv -f "doc/FOOTER.html.new" "doc/FOOTER.html" |