diff options
author | Joey Hess <joey@kodama.kitenet.net> | 2008-07-29 15:51:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kodama.kitenet.net> | 2008-07-29 15:51:25 -0400 |
commit | f0090d8c5781682eb0e4a59cb92438c0b7baafa1 (patch) | |
tree | 71fcdf46e52020ad0374142a03ec781aae2b9da5 /doc | |
parent | 64def3eaeae4ddbe5cee61d08612da1eb1bc54d3 (diff) |
check generated pages in
I considered not checking them in, or making the checkin configurable.
However, then they would remain not checked in if edited by a user, which is
probably not desired.
Note that passing undef as the username/ip to rcs_commit_staged may not
result in ideal behavior; the commit may seem to come from "anonymous" with
some revision control systems. Most of them handle it a bit better and just
have it come from whatever user is running the build.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions