Discard changes to Makefile

yhwu-is · Oct 14, 2024 · c972156 · c972156
1 parent 4be1d89
commit c972156
Showing 1 changed file with 27 additions and 27 deletions.
diff --git a/Makefile b/Makefile
@@ -1,27 +1,27 @@
-MAIN_DIR := 讲义
-ANSWERS_DIR := 习题参考答案
-
-export GH_ACTIONS_DIR := gh-actions-build
-
-.PHONY: all gh-actions main ans clean
-
-all: main
-
-gh-actions:
-# used by GitHub Actions
-#	mkdir -p $(GH_ACTIONS_DIR)
-#	make -C $(MAIN_DIR) gh-cp
-#	make -C $(ANSWERS_DIR) gh-cp
-	make -C $(MAIN_DIR)
-
-main:
-	$(MAKE) -C $(MAIN_DIR)
-
-ans:
-	$(MAKE) -C $(ANSWERS_DIR)
-
-clean:
-	# Cleaning...
-	$(MAKE) -C $(MAIN_DIR) clean
-	$(MAKE) -C $(ANSWERS_DIR) clean
-	rm -rf $(GH_ACTIONS_DIR)
+MAIN_DIR := 讲义
+ANSWERS_DIR := 习题参考答案
+
+export GH_ACTIONS_DIR := gh-actions-build
+
+.PHONY: all gh-actions main ans clean
+
+all: main
+
+gh-actions:
+# used by GitHub Actions
+#	mkdir -p $(GH_ACTIONS_DIR)
+#	make -C $(MAIN_DIR) gh-cp
+#	make -C $(ANSWERS_DIR) gh-cp
+	make -C $(MAIN_DIR)
+
+main:
+	$(MAKE) -C $(MAIN_DIR)
+
+ans:
+	$(MAKE) -C $(ANSWERS_DIR)
+
+clean:
+	# Cleaning...
+	$(MAKE) -C $(MAIN_DIR) clean
+	$(MAKE) -C $(ANSWERS_DIR) clean
+	rm -rf $(GH_ACTIONS_DIR)