Skip to content

Commit e9849f4

Browse files
lefessanlefessan
committed
Fix workflow to generate INFO files
1 parent 99fd6ad commit e9849f4

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

‎.github/workflows/ubuntu.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,4 +65,5 @@ jobs:
6565
- name: Generate INFO
6666
run: |
6767
cd guide
68+
rm -rf info
6869
make info

‎.gitignore‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,5 @@
22
*~
33
/guide/info/*
44
/guide/PDFs/*
5+
*.pdf
6+
*.info

0 commit comments

Comments
 (0)