fix duplication issue with the remove extension option #566

	name: Rebuild
	on:
	workflow_dispatch:
	push:
	branches:
	- develop

	jobs:
	rebuild:
	concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
	runs-on: ubuntu-latest
	steps:
	- uses: actions/setup-node@v3
	with:
	node-version: 16
	- name: Checkout
	uses: actions/checkout@v3

	- name: Rebuild
	run: \|
	sudo apt install python2-minimal
	npm install
	npm run translate

	- name: Upload built-dist
	uses: actions/[email protected]
	with:
	name: built-dist
	path: dist
	- name: Upload built-media
	uses: actions/[email protected]
	with:
	name: built-media
	path: media

	- name: Checkout to develop-builds
	uses: actions/checkout@v3
	with:
	ref: develop-builds

	- name: Clear out things
	run: \|
	rm -rf dist/*
	rm -rf media/*

	- name: Download built-dist
	uses: actions/[email protected]
	with:
	name: built-dist
	path: dist/
	- name: Download built-media
	uses: actions/[email protected]
	with:
	name: built-media
	path: media/

	- name: Commit
	uses: EndBug/[email protected]
	with:
	message: "Build"
	committer_name: GitHub Actions
	committer_email: [email protected]

	- name: Repository Dispatch
	uses: peter-evans/[email protected]
	with:
	token: ${{ secrets.t }}
	event-type: update
	repository: PenguinMod/penguinmod.github.io

Provide feedback