Skip to content

Commit

Permalink
Create restrictive rsync rule
Browse files Browse the repository at this point in the history
  • Loading branch information
mczyz-antmicro committed Aug 29, 2023
1 parent b49fe8c commit d974bcd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/scripts/indexgen/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -16,12 +16,12 @@ $(GENDIR):

$(GENDIR)/index.md: $(SOURCES) generate.py | $(GENDIR)
@rm -rf $(GENDIR)/*
@python3 generate.py --template "$(SOURCEDIR)" --root "$(ROOTDIR)" --output "$(GENDIR)"
@python3 generate.py --template "$(SOURCEDIR)" --root "$(ROOTDIR)/html" --output "$(GENDIR)"

# Build the final webpage. Pass the 'html' target to sphinx, copy report pages
html: Makefile $(GENDIR)/index.md
@$(SPHINXBUILD) -M $@ "$(GENDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@rsync -avr "$(ROOTDIR)/" "$(BUILDDIR)/"
@rsync -avrm --include="*/" --include="coverage_dashboard/***" --include="verification_dashboard/***" --exclude="*" "$(ROOTDIR)/" "$(BUILDDIR)/"
@bash update_styles.sh "$(BUILDDIR)"

clean:
Expand Down

0 comments on commit d974bcd

Please sign in to comment.