• R/O
  • SSH

提交

标签
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

Commit MetaInfo

修订版701800a0249e3077f4625a893c569f2184846003 (tree)
时间2024-07-17 23:26:10
作者Albert Mietus < albert AT mietus DOT nl >
CommiterAlbert Mietus < albert AT mietus DOT nl >

Log Message

Update Makefile, to puhsh/publich on RTD

更改概述

差异

diff -r bc8f8757c065 -r 701800a0249e Makefile
--- a/Makefile Wed Jul 17 16:23:36 2024 +0200
+++ b/Makefile Wed Jul 17 16:26:10 2024 +0200
@@ -63,12 +63,19 @@
6363 Hogsmeade-clean: Hogsmeade_check
6464 ${MAKE} OUTd=${HOGSMEADEd} cleanest
6565
66-include RTD-settings.mk
67-RTD RTfD-build RTfD RTFD RTfD-webhook:
66+#include RTD-settings.mk
67+#RTD RTfD-build RTfD RTFD RTfD-webhook:
68+# -hg push
69+# @BRANCH=$${BRANCH:-`hg branch`} ;\
70+# curl -X POST -d "branches=$${BRANCH}" -d "token=${TOKEN}" ${HOOK}
71+# @echo
72+
73+RTD:
6874 -hg push
69- @BRANCH=$${BRANCH:-`hg branch`} ;\
70- curl -X POST -d "branches=$${BRANCH}" -d "token=${TOKEN}" ${HOOK}
71- @echo
75+ -hg bookmarks default
76+ -hg push github
77+ @echo "push to github will trigger RTD"
78+
7279
7380 wc:
7481 @echo "lines words file"