]> rtime.felk.cvut.cz Git - omk.git/commitdiff
projects / omk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f5a8bb3)
Manual name changed.
authorMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 22 Oct 2007 14:07:00 +0000 (14:07 +0000)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 22 Oct 2007 14:07:00 +0000 (14:07 +0000)
darcs-hash:20071022140740-f2ef6-b3c66e39e070e2467abefadd7c8fe162bb22fe5f.gz

doc/Makefile patch | blob | history
doc/omk-manual.texinfo [moved from doc/manual.texinfo with 100% similarity] patch | blob | history

diff --git a/doc/Makefile b/doc/Makefile
index a3672aec79d6fd937e2747721ac4b457ce1af18e..21c32150fb8ff60ca0c8f5d568b506a5465c18d1 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-SOURCE = manual
+SOURCE = omk-manual
 
 all: $(SOURCE).pdf $(SOURCE).txt $(SOURCE).html
 
diff --git a/doc/manual.texinfo b/doc/omk-manual.texinfo
similarity index 100%
rename from doc/manual.texinfo
rename to doc/omk-manual.texinfo
Ocera Make System