GNU
/
easejs
1
0
Fork 0
Code Releases Activity

Began adding CSS for manual

closure/master
Mike Gerwitz 2011-03-09 19:10:13 -05:00
parent b7273f4d46
commit 08a58dba82
2 changed files with 28 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Makefile
View File

@ -12,6 +12,7 @@ PATH_DOC_OUTPUT_INFO=${PATH_DOC_OUTPUT}/manual.info
PATH_DOC_OUTPUT_PLAIN=${PATH_DOC_OUTPUT}/manual.txt PATH_DOC_OUTPUT_PLAIN=${PATH_DOC_OUTPUT}/manual.txt
PATH_DOC_OUTPUT_HTML=${PATH_DOC_OUTPUT}/manual PATH_DOC_OUTPUT_HTML=${PATH_DOC_OUTPUT}/manual
PATH_DOC_OUTPUT_HTML1=${PATH_DOC_OUTPUT}/manual.html PATH_DOC_OUTPUT_HTML1=${PATH_DOC_OUTPUT}/manual.html
PATH_DOC_CSS=${PATH_DOC}/manual.css
PATH_MANUAL_TEXI=${PATH_DOC}/manual.texi PATH_MANUAL_TEXI=${PATH_DOC}/manual.texi
COMBINE=${PATH_TOOLS}/combine COMBINE=${PATH_TOOLS}/combine
@ -54,14 +55,17 @@ doc:
find ${PATH_DOC} -type f \ find ${PATH_DOC} -type f \
! -name '*.texi' -a \ ! -name '*.texi' -a \
! -name '.*' -a \ ! -name '.*' -a \
! -name '*.pdf' \ ! -name '*.pdf' -a \
! -name '*.css' \
| xargs rm | xargs rm
@mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT} @mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT}
cd ${PATH_DOC}; \ cd ${PATH_DOC}; \
makeinfo -o ${PATH_DOC_OUTPUT_INFO} ${PATH_MANUAL_TEXI}; \ makeinfo -o ${PATH_DOC_OUTPUT_INFO} ${PATH_MANUAL_TEXI}; \
makeinfo --plain ${PATH_MANUAL_TEXI} > ${PATH_DOC_OUTPUT_PLAIN}; \ makeinfo --plain ${PATH_MANUAL_TEXI} > ${PATH_DOC_OUTPUT_PLAIN}; \
makeinfo --html -o ${PATH_DOC_OUTPUT_HTML} ${PATH_MANUAL_TEXI}; \ makeinfo --html --css-include="${PATH_DOC_CSS}" \
makeinfo --no-split --html -o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI}; -o "${PATH_DOC_OUTPUT_HTML}" "${PATH_MANUAL_TEXI}"; \
makeinfo --no-split --html --css-include="${PATH_DOC_CSS}" \
-o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI};
# clean up build dir # clean up build dir
clean: clean:

21
doc/manual.css 100644
View File

@ -0,0 +1,21 @@
/**
* ease.js manual color scheme
*
* Inspired by Tango Icon Theme
*/
html {
background-color: #eeeeec;
}
body {
background-color: white;
border-color: #babdb6;
border-width: 0px 1px;
border-style: solid;
margin: 0px 5em;
padding: 1em;
font-family: arial, serif;
}