move linter

gnolang · May 17, 2024 · e7546dd · e7546dd
1 parent 12ab737
commit e7546dd
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 2 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -2,11 +2,11 @@ all: build lint
 
 # Build the linter
 build:
-	cd linter && go build -o ./build/linter
+	cd ../misc/linter && go build -o ../misc/linter/build/linter
 
 # Run the linter for the docs/ folder
 lint:
-	./linter/build/linter -path .
+	../misc/linter/build/linter -path .
 
 clean:
 	rm -f ./linter/linter
diff --git a/docs/linter/go.mod → misc/linter/go.mod b/docs/linter/go.mod → misc/linter/go.mod
diff --git a/docs/linter/go.sum → misc/linter/go.sum b/docs/linter/go.sum → misc/linter/go.sum
diff --git a/docs/linter/main.go → misc/linter/main.go b/docs/linter/main.go → misc/linter/main.go
diff --git a/docs/linter/main_test.go → misc/linter/main_test.go b/docs/linter/main_test.go → misc/linter/main_test.go
diff --git a/docs/linter/util.go → misc/linter/util.go b/docs/linter/util.go → misc/linter/util.go