From e3b62339fdecc4122d19d6461632d21739728100 Mon Sep 17 00:00:00 2001 From: David Rajaratnam Date: Mon, 19 Feb 2024 21:45:57 +1100 Subject: [PATCH] Readme fixes and sphinx docs update --- README.rst | 6 +++--- docs/requirements.txt | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/README.rst b/README.rst index 9e2260b..f7e0646 100644 --- a/README.rst +++ b/README.rst @@ -295,11 +295,11 @@ Clorm library. These include: class Event(Predicate): date: str - name: str + name: str class Log(Predicate): event: Event - level: int + level: int l1=Log(event=Event(date="2019-4-5",name="goto shops"),level=0) @@ -328,7 +328,7 @@ Clorm library. These include: class Event(Predicate): date: datetime.date = field - name: str + name: str l2=Log(event=Event(date=datetime.date(2019,3,15),name="travel"),level=0) diff --git a/docs/requirements.txt b/docs/requirements.txt index 761e711..8789ab6 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,4 +1,4 @@ clingo>=5.5.0 -sphinx==4.1.2 -sphinx-rtd-theme==0.5.2 +sphinx>=5.0.0 +sphinx-rtd-theme==2.0.0