diff options
| author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2007-11-07 00:53:14 +0100 |
|---|---|---|
| committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2007-11-07 00:53:14 +0100 |
| commit | 8b24a0b189ae5b06096f2abefb7571e2da1d7950 (patch) | |
| tree | 3a89250c61a5fe037df2be48ab2a600e735f7a90 /doc | |
| parent | e4ca81d4b0c9092917c0f3e2ec8c23705bf95eed (diff) | |
| download | ndim-git-utils-8b24a0b189ae5b06096f2abefb7571e2da1d7950.tar.gz ndim-git-utils-8b24a0b189ae5b06096f2abefb7571e2da1d7950.tar.xz ndim-git-utils-8b24a0b189ae5b06096f2abefb7571e2da1d7950.zip | |
rename txt2html.sed
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile-files | 6 |
1 files changed, 3 insertions, 3 deletions
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" |