Merge pull request #564 from Immediate-Mode-UI/remove-doc-binary

documentation: Remove the "doc" binary from repo (it is being rebuilt on demand anyway)
This commit is contained in:
dumblob 2023-07-10 10:40:05 +02:00 committed by GitHub
commit b4b94b0486
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 3 deletions

1
.gitignore vendored
View File

@ -5,6 +5,7 @@ example/bin/*
docs/xml
docs/build
docs/src
doc/doc*
*.tmp
*.swo
*.swp

View File

@ -19,6 +19,8 @@ else
endif
endif
$(BIN):
rm -f $(BIN) $(OBJS)
$(BIN): clean
$(CC) $(SRC) $(CFLAGS) -o $(BIN)
clean:
rm -f $(BIN) $(OBJS)

BIN
doc/doc

Binary file not shown.