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 /.document | |
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 '.document')
-rw-r--r-- | .document | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.document b/.document new file mode 100644 index 0000000..b9cb90b --- /dev/null +++ b/.document @@ -0,0 +1,4 @@ +README +History +lib +ext/clogger_ext/clogger.c |