projects
/
YACASL2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ドキュメントのヘッダーを修正
[YACASL2.git]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index
7d575e2
..
a9f54de
100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-1,4
+1,5
@@
RMR := $(RM) -r
RMR := $(RM) -r
+SED := sed
DOCS := install manual
CSS := style.css
DOCS := install manual
CSS := style.css
@@
-15,8
+16,10
@@
all: base htmls pdf
info: yacasl2.info
html: $(addsuffix .html,$(DOCS))
info: yacasl2.info
html: $(addsuffix .html,$(DOCS))
+ for f in $^; do $(SED) -i -e 's!dir\.html#Top!\.\./!g' $$f; done
htmls: $(addsuffix _html,$(DOCS))
htmls: $(addsuffix _html,$(DOCS))
+ for d in $^; do $(SED) -i -e 's!\.\./dir/index\.html!\.\./\.\./!g' $$d/index.html; done
pdf: $(addsuffix .pdf,$(DOCS))
pdf: $(addsuffix .pdf,$(DOCS))