Extended source syncing slightly, to be able to manage use of local tags on (web) server.
<?xml version="1.0" encoding="ascii"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<title>io</title>
<link rel="stylesheet" href="epydoc.css" type="text/css" />
<script type="text/javascript" src="epydoc.js"></script>
</head>
<body bgcolor="white" text="black" link="blue" vlink="#204080"
alink="#204080">
<h1 class="toc">Module io</h1>
<hr />
<h2 class="toc">Classes</h2>
<a target="mainFrame" href="sysdef.io.FlashImageSizeWriter-class.html"
>FlashImageSizeWriter</a><br /> <a target="mainFrame" href="sysdef.io.MakeWriter-class.html"
>MakeWriter</a><br /> <a target="mainFrame" href="sysdef.io.MakeWriter2-class.html"
>MakeWriter2</a><br /> <a target="mainFrame" href="sysdef.io.MakeWriter3-class.html"
>MakeWriter3</a><br /> <h2 class="toc">Functions</h2>
<a target="mainFrame" href="sysdef.io-module.html#command_to_echo"
>command_to_echo</a><br /> <a target="mainFrame" href="sysdef.io-module.html#command_to_makefile"
>command_to_makefile</a><br /> <a target="mainFrame" href="sysdef.io-module.html#get_hires_command"
>get_hires_command</a><br /> <a target="mainFrame" href="sysdef.io-module.html#get_localtime_command"
>get_localtime_command</a><br /> <a target="mainFrame" href="sysdef.io-module.html#is_abld_what_or_check_command"
>is_abld_what_or_check_command</a><br /> <a target="mainFrame" href="sysdef.io-module.html#path_to_makefile_command"
>path_to_makefile_command</a><br /> <a target="mainFrame" href="sysdef.io-module.html#path_to_makefile_echo"
>path_to_makefile_echo</a><br /> <a target="mainFrame" href="sysdef.io-module.html#to_target"
>to_target</a><br /><hr />
<span class="options">[<a href="javascript:void(0);" class="privatelink"
onclick="toggle_private();">hide private</a>]</span>
<script type="text/javascript">
<!--
// Private objects are initially displayed (because if
// javascript is turned off then we want them to be
// visible); but by default, we want to hide them. So hide
// them unless we have a cookie that says to show them.
checkCookie()
// -->
</script>
</body>
</html>