suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

New make target for building docs for mathjax.org separately.

Browse Source
This commit is contained in:
Casey W. Stark 2011-01-22 15:30:47 -08:00
parent a0216b3752
commit 40098b7b2f
3 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/Makefile
View File

@ -41,6 +41,11 @@ html:
@echo @echo
@echo "Build finished. The HTML pages are in $(BUILDDIR)/html." @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
html-mathjax-site:
$(SPHINXBUILD) -b html -A for_site=True $(ALLSPHINXOPTS) $(BUILDDIR)/html-mathjax-site
@echo
@echo "Build finished. The HTML pages are in $(BUILDDIR)/html-mathjax-site."
dirhtml: dirhtml:
$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml
@echo @echo

4
docs/source/mjtheme/layout.html
View File

@ -145,6 +145,7 @@
{%- block extrahead %} {% endblock %} {%- block extrahead %} {% endblock %}
</head> </head>
<body> <body>
{% if for_site %}
<div id="wrapper"> <div id="wrapper">
<div id="header"> <div id="header">
<div id="branding" role="banner"> <div id="branding" role="banner">
@ -194,6 +195,7 @@
<div class="clear"></div> <div class="clear"></div>
</div> </div>
</div> </div>
{% endif %}
{%- block header %}{% endblock %} {%- block header %}{% endblock %}
{%- block relbar1 %}{{ relbar() }}{% endblock %} {%- block relbar1 %}{{ relbar() }}{% endblock %}
@ -240,6 +242,8 @@
{%- endif %} {%- endif %}
</div> </div>
{%- endblock %} {%- endblock %}
{% if for_site %}
</div> </div>
{% endif %}
</body> </body>
</html> </html>

4
docs/source/mjtheme/static/mj.css_t
View File

@ -5,6 +5,8 @@
@import url("basic.css"); @import url("basic.css");
{% if for_site %}
/* style copied over from http://mathjax.org/ for the header */ /* style copied over from http://mathjax.org/ for the header */
body { body {
@ -161,6 +163,8 @@ div.menu li {
margin: 0 auto; margin: 0 auto;
} }
{% endif %}
/* -- page layout ----------------------------------------------------------- */ /* -- page layout ----------------------------------------------------------- */
body { body {