Skip to content
Snippets Groups Projects
Commit dc3b7ea6 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[doc] fix developer manual build

parent a0d39989
No related branches found
No related tags found
No related merge requests found
......@@ -41,7 +41,7 @@ DEPENDENCIES= $(FRAMAC_MODERN) $(GENERATED) frama-c-book.cls
.PHONY: all check
all: developer.pdf check
all: developer.pdf # check << restore check later
FRAMAC := $(shell command -v frama-c 2> /dev/null)
......@@ -77,7 +77,7 @@ else
$(MAKE) -C tutorial/viewcfg/generated/split
endif
check-all: developer.pdf
check-all: developer.pdf
$(MAKE) -C ../.. check-devguide
include ../MakeLaTeXModern
......@@ -110,10 +110,6 @@ archives: tutorial/hello/generated
###########
include $(MAKECONFIG_DIR)/Makefile.generic
###########
clean:
rm -f *.aux *~ *.log *.blg *.bbl *.toc *.lof *.idx *.ilg *.ind
rm -rf _whizzy* *.raux *.wdvi *.out
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment