We need some indication for automated builds on RTEMS.org that the server
actually did build something. The script that builds the docs on the server
should create a file and put the build time in it.
On Mon, Jan 7, 2019, 5:04 AM Sebastian Huber <
sebastian.hu...@embedded-brains.de wrote:
> The usage of a build date prevents reproducible builds.
> ---
> common/conf.py | 25 +------------------------
> 1 file changed, 1 insertion(+), 24 deletions(-)
>
> diff --git a/common/conf.py b/common/conf.py
> index 60db066..8d5e6b8 100644
> --- a/common/conf.py
> +++ b/common/conf.py
> @@ -1,26 +1,3 @@
> -import datetime
> -
> -def build_date():
> - now = datetime.date.today()
> - m = now.strftime('%B')
> - y = now.strftime('%Y')
> - if now.day == 11:
> - s = 'th'
> - elif now.day % 10 == 1:
> - s = 'st'
> - elif now.day == 12:
> - s = 'th'
> - elif now.day % 10 == 2:
> - s = 'nd'
> - elif now.day == 13:
> - s = 'th'
> - elif now.day == 3:
> - s = 'rd'
> - else:
> - s = 'th'
> - d = '%2d%s' % (now.day, s)
> - return '%s %s %s' % (d, m, y)
> -
> extensions = [
> "sphinx.ext.autodoc",
> "sphinx.ext.coverage",
> @@ -47,7 +24,7 @@ master_doc = 'index'
>
> # General information about the project.
> project = u'RTEMS Documentation Project'
> -copyright = u'2018, RTEMS Project (built %s)' % (build_date())
> +copyright = u'2018, RTEMS Project'
>
> # The version info for the project you're documenting, acts as
> replacement for
> # |version| and |release|, also used in various other places throughout
> the
> --
> 2.16.4
>
> _______________________________________________
> devel mailing list
> devel@rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
