Skip to content

GitLab

Commit e146b872 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

fix lecture_notes target

parent de1d8da8
Pipeline #8186 passed with stage
    in 7 minutes and 54 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    Makefile.coq.local
    View file @ e146b872
    ...@@ -5,7 +5,7 @@ VOFILES=$(COQMF_VFILES:.v=.vo) ...@@ -5,7 +5,7 @@ VOFILES=$(COQMF_VFILES:.v=.vo)
    barrier: $(filter theories/barrier/%,$(VOFILES)) barrier: $(filter theories/barrier/%,$(VOFILES))
    .PHONY: barrier .PHONY: barrier
    lecture_notes: $(filter theories/barrier/%,$(VOFILES)) lecture_notes: $(filter theories/lecture_notes/%,$(VOFILES))
    .PHONY: lecture_notes .PHONY: lecture_notes
    spanning_tree: $(filter theories/spanning_tree/%,$(VOFILES)) spanning_tree: $(filter theories/spanning_tree/%,$(VOFILES))
    ......
    Markdown is supported
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment