Nicolas François <nicolas.francois(a)centraliens.net> writes:
One option could be to use another trick:
<p>
Updated:
<timestamp date="$Date: 2007/06/19 00:02:58 $">
</p>
This could be generated by the preprocessor, and the timestamp could be
restored afterward by the postprocessor.
Oh, looks like a viable option. Thanks for the idea! I'll try it out
as soon as I can.
I can try to add an option to handle comments differently. I will
work on it after the 0.32 release.
Such an option would be very useful improvement. Of course, there is
no rush. Wish you good luck with the incoming release and thank you
for your invaluable help!
--
Protect your digital freedom and privacy, eliminate DRM, learn more at
http://www.defectivebydesign.org/what_is_drm