diff options
| author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2007-11-06 21:46:13 +0100 |
|---|---|---|
| committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2007-11-06 21:46:13 +0100 |
| commit | 881ce05bc3d91c36848418c640ed0897a4bc3708 (patch) | |
| tree | 2b2181649ce659039d3a885f4fc5e39ac8eb7845 /doc | |
| parent | bd2f587e3304b5b588cdb3732f59fda4d12c4a74 (diff) | |
| download | ndim-git-utils-881ce05bc3d91c36848418c640ed0897a4bc3708.tar.gz ndim-git-utils-881ce05bc3d91c36848418c640ed0897a4bc3708.tar.xz ndim-git-utils-881ce05bc3d91c36848418c640ed0897a4bc3708.zip | |
1.12.10 - autogenerate FOOTER.htmlv1.12.10
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" |