1
0
mirror of https://github.com/cc65/cc65.git synced 2024-06-07 07:29:33 +00:00

Put doc.git next to cc65.

This commit is contained in:
Greg King 2022-06-17 09:00:53 -04:00 committed by mrdudz
parent 964c4a220e
commit 4d045a68e3

View File

@ -49,7 +49,7 @@ jobs:
with:
repository: cc65/doc
token: ${{ github.token }}
path: doc.git
path: ../doc.git
- name: Checkout Source
uses: actions/checkout@v2
@ -107,10 +107,9 @@ jobs:
- name: Update the online documents.
run: |
pwd
ls
cd doc.git
cd ../doc.git
rm *.*
cp ../html/*.* .
cp ../cc65/html/*.* .
git config user.name "cc65-github"
git config user.email "cc65.nomail@github.com"
git config push.default simple