Bruce Momjian writes:
> > You are going to love this answer. A jdbc person CVS updated the TODO
> > list, so I did a dummy edit of TODO so the web site would be udpated.
>
> I now see that I didn't need to modify the date to get the web site
> updated. I have a separate script that just pushes it to the web site.
> I will use that in the future.
Maybe a cron job would be a possible answer?
--
Peter Eisentraut peter_e(at)gmx(dot)net