[Pkg-pascal-devel] PasDoc output reproducible by default

[Michalis Kamburelis]

Hi,

The default PasDoc output is now reproducible by default, which means
that executing the same PasDoc version with the same input twice gives
the same output. This is generally a nice idea IMHO, see also Debian
project wiki https://wiki.debian.org/ReproducibleBuilds and related
thread on pkg-pascal-devel
http://lists.alioth.debian.org/pipermail/pkg-pascal-devel/Week-of-Mon-20150511/000473.html
.

In practice, this means that

1. The document creation time is not printed in the docs by default. Use
--include-creation-time to add it back. --include-creation-time is
orthogonal to --exclude-generator.

2. The build duration time is not printed in the output by default. Use
"--verbosity 3" to show it. Or run PasDoc with a timing command, e.g. on
Unix "time pasdoc ...".

Michalis