HGKeeper

Doc: Add about section (PR #33)

2024-04-26, Nadim Khan

ac6408084c60

Doc: Add about section (PR #33)

* added about section

* updated .gitignore to exclude doc/_build/

BEREMIZ_OBJS = $(BEREMIZSRC:.c=.o)

all: warn some_binary

@echo "*** all done ***"

warn:

@echo "*** Sample Makefile, does nothing ***"

some_binary: $(BEREMIZ_OBJS)

@echo "* Would link $^ -> $@"

%.o: %.c

@echo "* Would compile $< -> $@"