diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/FOOTER.html | 4 | ||||
| -rw-r--r-- | doc/Makefile-files | 15 |
2 files changed, 13 insertions, 6 deletions
diff --git a/doc/FOOTER.html b/doc/FOOTER.html deleted file mode 100644 index c56cb9b..0000000 --- a/doc/FOOTER.html +++ /dev/null @@ -1,4 +0,0 @@ -<pre> -git clone http://nix.lauft.net/ndim-git-utils.git/ -</pre> -<p>Copyright (C) 2007 Hans Ulrich Niedermann</p> diff --git a/doc/Makefile-files b/doc/Makefile-files index 8c490b1..d2b8992 100644 --- a/doc/Makefile-files +++ b/doc/Makefile-files @@ -6,5 +6,16 @@ UPLOAD_FILES += doc/ndim-git-cheatsheet.txt UPLOAD_FILES += doc/.htaccess EXTRA_DIST += doc/.htaccess -UPLOAD_FILES += doc/HEADER.html doc/FOOTER.html -EXTRA_DIST += doc/HEADER.html doc/FOOTER.html +UPLOAD_FILES += doc/HEADER.html +EXTRA_DIST += doc/HEADER.html + +UPLOAD_FILES += doc/FOOTER.html +CLEANFILES += doc/FOOTER.html + +EXTRA_DIST += build-helpers/txt2html.sed + +doc/FOOTER.html: $(top_srcdir)/README $(top_srcdir)/build-helpers/txt2html.sed + mkdir -p doc + $(SED) -f "$(top_srcdir)/build-helpers/txt2html.sed" $(top_srcdir)/README > "doc/FOOTER.html.new" + test -s "doc/FOOTER.html.new" + mv -f "doc/FOOTER.html.new" "doc/FOOTER.html" |