File tree 4 files changed +25
-25
lines changed
4 files changed +25
-25
lines changed Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ MLTON_FLAGS :=
4
4
5
5
PREFIX := /usr/local/mlton
6
6
LIBDIR := lib/SMLUnit
7
- DOCDIR := doc/smlunit-lib
7
+ DOCDIR := $(PREFIX)/doc
8
8
9
9
SMLDOC := smldoc
10
10
SMLDOC_ARGFILE := src/smldoc.cfg
@@ -86,18 +86,18 @@ install: install-doc install-nodoc
86
86
.PHONY: doc
87
87
doc:
88
88
@echo " [SMLDoc]"
89
- @$(RM) -r $(DOCDIR)
90
- @install -d $(DOCDIR)
91
- @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d "$(DOCDIR)"
89
+ @$(RM) -r doc/api
90
+ @install -d doc/api
91
+ @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d doc/api
92
92
93
93
94
94
.PHONY: install-doc
95
95
install-doc: doc
96
- @install -d $(PREFIX)/$( DOCDIR)
97
- @cp -prT $(DOCDIR) $(PREFIX)/$( DOCDIR)
96
+ @install -d $(DOCDIR)
97
+ @cp -prT doc $(DOCDIR)/smlunit-lib
98
98
@echo "================================================================"
99
99
@echo "Generated API Documents of SMLUnit"
100
- @echo "\t$(PREFIX)/$( DOCDIR)"
100
+ @echo "\t$(DOCDIR)/smlunit-lib "
101
101
@echo "================================================================"
102
102
103
103
@@ -126,7 +126,7 @@ example: $(EXAMPLE_MLB:.mlb=)
126
126
.PHONY: clean
127
127
clean:
128
128
-$(RM) $(TYPECHECK_DUMMY)
129
- -$(RM) -r $(DOCDIR)
129
+ -$(RM) -r doc/api
130
130
-$(RM) $(DEPENDS)
131
131
-$(RM) $(filter-out smlunit-lib,$(SMLUNIT_MLBS:.mlb=))
132
132
Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ POLYMLFLAGS := -q --error-exit --eval 'PolyML.suffixes := ".sig"::(!PolyML.su
5
5
6
6
PREFIX := /usr/local/polyml
7
7
LIBDIR := lib/smlunit-lib
8
- DOCDIR := doc/smlunit-lib
8
+ DOCDIR := $(PREFIX)/doc
9
9
10
10
SMLDOC := smldoc
11
11
SMLDOC_ARGFILE := src/smldoc.cfg
@@ -80,18 +80,18 @@ install: install-doc install-nodoc
80
80
.PHONY: doc
81
81
doc:
82
82
@echo " [SMLDoc]"
83
- @$(RM) -r $(DOCDIR)
84
- @install -d $(DOCDIR)
85
- @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d "$(DOCDIR)"
83
+ @$(RM) -r doc/api
84
+ @install -d doc/api
85
+ @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d doc/api
86
86
87
87
88
88
.PHONY: install-doc
89
89
install-doc: doc
90
- @install -d $(PREFIX)/$( DOCDIR)
91
- @cp -prT $(DOCDIR) $(PREFIX)/$( DOCDIR)
90
+ @install -d $(DOCDIR)
91
+ @cp -prT doc $(DOCDIR)/smlunit-lib
92
92
@echo "================================================================"
93
93
@echo "Generated API Documents of SMLUnit"
94
- @echo "\t$(PREFIX)/$( DOCDIR)"
94
+ @echo "\t$(DOCDIR)/smlunit-lib "
95
95
@echo "================================================================"
96
96
97
97
@@ -114,7 +114,7 @@ example: $(EXAMPLE)
114
114
.PHONY: clean
115
115
clean:
116
116
-$(RM) $(SMLUNIT_LIB)
117
- -$(RM) -r $(DOCDIR)
117
+ -$(RM) -r doc/api
118
118
-$(RM) $(TEST)
119
119
-$(RM) $(TEST:=.o)
120
120
-$(RM) $(EXAMPLE)
Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ SML_DULIST :=
22
22
23
23
PREFIX := /usr/local/sml
24
24
LIBDIR := lib/smlunit-lib.cm
25
- DOCDIR := doc/smlunit-lib
25
+ DOCDIR := $(PREFIX)/doc
26
26
27
27
SOURCES_CM := smlunit-lib.cm \
28
28
src/test/sources.cm \
@@ -83,18 +83,18 @@ install: install-doc install-nodoc
83
83
.PHONY: doc
84
84
doc:
85
85
@echo " [SMLDoc]"
86
- @$(RM) -r $(DOCDIR)
87
- @install -d $(DOCDIR)
88
- @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d "$(DOCDIR)"
86
+ @$(RM) -r doc/api
87
+ @install -d doc/api
88
+ @$(SMLDOC) -c UTF-8 -a $(SMLDOC_ARGFILE) -d doc/api
89
89
90
90
91
91
.PHONY: install-doc
92
92
install-doc: doc
93
- @install -d $(PREFIX)/$( DOCDIR)
94
- @cp -prT $(DOCDIR) $(PREFIX)/$( DOCDIR)
93
+ @install -d $(DOCDIR)
94
+ @cp -prT doc $(DOCDIR)/smlunit-lib
95
95
@echo "================================================================"
96
96
@echo "Generated API Documents of SMLUnit"
97
- @echo "\t$(PREFIX)/$( DOCDIR)"
97
+ @echo "\t$(DOCDIR)/smlunit-lib "
98
98
@echo "================================================================"
99
99
100
100
@@ -127,7 +127,7 @@ example: $(EXAMPLE_TARGET)
127
127
.PHONY: clean
128
128
clean:
129
129
-$(RM) $(DEPENDS)
130
- -$(RM) -r $(DOCDIR)
130
+ -$(RM) -r doc/api
131
131
-$(RM) -r .cm
132
132
-$(RM) -r src/.cm
133
133
-$(RM) -r src/main/.cm
Original file line number Diff line number Diff line change 1
- --directory =../doc/smlunit-lib
1
+ --directory =../doc/api
2
2
--hidebysig
3
3
--verbose
4
4
--author
You can’t perform that action at this time.
0 commit comments