From a940f5d1f8b879bf9a7c7e7ffe39477d693606db Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Sun, 25 Jun 2023 20:53:47 +0100
Subject: [PATCH] Rename noether.example.el to noether.example

---
 .woodpecker/build.yml                 | 2 +-
 noether.example.el => noether.example | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename noether.example.el => noether.example (100%)

diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml
index e104f52..9ec60af 100644
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@@ -8,4 +8,4 @@ pipeline:
       - curl -fsSL https://raw.github.com/doublep/eldev/master/bin/eldev > /usr/bin/eldev
       - chmod a+x /usr/bin/eldev
       - eldev lint
-      - eldev compile noether.el noether-units.el
+      - eldev compile
diff --git a/noether.example.el b/noether.example
similarity index 100%
rename from noether.example.el
rename to noether.example