add build time attribute

This commit is contained in:
Maximilian Keßler 2022-02-06 22:29:44 +01:00
parent 75c528c3df
commit fdcf03eb3d

View file

@ -37,6 +37,7 @@ class FormattingConfig(Config):
self._include_pytex_info_text: Optional[bool] = None self._include_pytex_info_text: Optional[bool] = None
self._include_repo_version: Optional[bool] = None self._include_repo_version: Optional[bool] = None
self._include_repo_info_text: Optional[bool] = None self._include_repo_info_text: Optional[bool] = None
self._include_time: Optional[bool] = None
self._extra_header: Optional[GenericText] = None self._extra_header: Optional[GenericText] = None
self._author: Optional[str] = None self._author: Optional[str] = None
@ -138,7 +139,6 @@ class FormattingConfig(Config):
else: else:
return self._version return self._version
@property @property
def pytex_info_text(self) -> GenericText: def pytex_info_text(self) -> GenericText:
if self._pytex_info_text is None: if self._pytex_info_text is None:
@ -182,6 +182,13 @@ class FormattingConfig(Config):
else: else:
return self._description return self._description
@property
def include_time(self) -> bool:
if self._include_time is None:
return False
else:
return self._include_time
class DocFormattingConfig: class DocFormattingConfig:
def __init__(self): def __init__(self):