diff options
author | Eric Wong <normalperson@yhbt.net> | 2009-09-07 15:49:55 -0700 |
---|---|---|
committer | Eric Wong <normalperson@yhbt.net> | 2009-09-07 16:00:07 -0700 |
commit | cee939b527e82237f89eb8eece62610854ac888a (patch) | |
tree | 019f3874373ea19c4292df73d90c8df85cee634c /.gitignore | |
parent | 00814d46e9e82fa24d38bd77172143df3757f020 (diff) | |
download | clogger-cee939b527e82237f89eb8eece62610854ac888a.tar.gz |
Several bikeshed reasons brought me to this point: * I like the README.html layout more than any default index.html even if it's using README content. Having links on the side helps navigation IMHO. * publish_docs preserves timestamps to improve cache hit rate * git is used to maintain the manifest at packaging/release-time so my changesets have less noise in them * git is used to generate history files (from tag messages), this is a more DRY approach to me. * I don't like the ".txt" suffix being translated to "_txt.html" in URLs. I don't like the ".txt" suffix in general. * I don't like Manifest.txt showing up in my RDoc
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -11,3 +11,5 @@ Makefile /doc /local.mk /pkg +/.manifest +/History |