Make troff-generated html pages look a bit better
This commit is contained in:
parent
4a14f71e8d
commit
3166d95763
5 changed files with 16 additions and 13 deletions
|
|
@ -1,6 +1,8 @@
|
||||||
#!/bin/rc
|
#!/usr/bin/env rc
|
||||||
for ( d in sites/*/ ) {
|
|
||||||
|
|
||||||
du -a $d | awk '/\.(md|html)$/ { print $2 }; {}' | 9 sed -e 's/\.(md|html)$//' -e 's,/index$,/,' -e 's,^sites/,http://,' > $d/sitemap.txt
|
echo foo
|
||||||
|
for ( d in sites/*/ ) {
|
||||||
|
echo $d
|
||||||
|
9 du -a $d | awk '/\.(md|html)$/ { print $2 }; {}' | 9 sed -e 's/\.(md|html)$//' -e 's,/index$,/,' -e 's,^sites/,http://,' > $d/sitemap.txt
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -8,5 +8,5 @@ allow_archive = bz2 zip
|
||||||
[collections]
|
[collections]
|
||||||
#allow_archive = bz2 zip
|
#allow_archive = bz2 zip
|
||||||
/gsoc/hg = /gsoc/hg/
|
/gsoc/hg = /gsoc/hg/
|
||||||
/var/hg = /var/hg/
|
#/var/hg = /var/hg/
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,4 @@
|
||||||
|
#!/usr/bin/env rc
|
||||||
#!/bin/rc
|
#!/bin/rc
|
||||||
. 9.rc
|
. 9.rc
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -225,7 +225,7 @@ li ul {
|
||||||
|
|
||||||
|
|
||||||
#main-copy p {
|
#main-copy p {
|
||||||
margin: 1em 1ex 1em 1ex;
|
margin: 1em 1ex 1em 1ex !important; /* Need !important so troff-generated pages don't look totally squezed */
|
||||||
padding: 0;
|
padding: 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -30,16 +30,16 @@
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<div id="footer">
|
<div id="footer">
|
||||||
<br class="doNotDisplay doNotPrint" />
|
% cat sites/$masterSite/_inc/footer.inc
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
|
<!-- Google Analytics -->
|
||||||
|
<script type="text/javascript">
|
||||||
|
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
|
||||||
|
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
|
||||||
</script>
|
</script>
|
||||||
<script type="text/javascript">
|
<script type="text/javascript">
|
||||||
_uacct = "UA-1220719-8";
|
var pageTracker = _gat._getTracker("UA-1220719-8");
|
||||||
urchinTracker();
|
pageTracker._initData();
|
||||||
|
pageTracker._trackPageview();
|
||||||
</script>
|
</script>
|
||||||
|
|
||||||
</body>
|
|
||||||
</html>
|
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue