Skip to content

GitLab

why3
why3
Commit 0d2ea48d authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

no need for DATADIR/why3/emacs

parent 0bba4ba9
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 1 deletion
Makefile.in
View file @ 0d2ea48d
......@@ -297,7 +297,6 @@ endif
mkdir -p $(DATADIR)/why3/images
mkdir -p $(DATADIR)/why3/images/boomy
mkdir -p $(DATADIR)/why3/images/fatcow
mkdir -p $(DATADIR)/why3/emacs
mkdir -p $(DATADIR)/why3/vim
mkdir -p $(DATADIR)/why3/lang
mkdir -p $(DATADIR)/why3/theories
......
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