Lines Matching refs:file
3 # Convert GNU texinfo files into HTML, one file per node.
6 # The input file must be a complete texinfo file, e.g. emacs.texi.
48 # @image image file reference (see note below)
55 # `basename`.hhp HTML Help Workshop project file
56 # `basename`.hhc Contents file for the project
57 # `basename`.hhk Index file for the project
58 # When fed into HTML Help Workshop, the resulting file will be
213 self.nodefp = None # open file we're writing to
252 # Parse the contents of an entire file
260 raise SyntaxError('file does not begin with %r' % (MAGIC,))
263 # Parse the contents of a file, not expecting a MAGIC header
319 # Start saving text in a buffer instead of writing it to a file
326 # Return the text saved so far and start writing to file again
336 # Write text to file, or save it in a buffer, or ignore it
350 # Complete the current node -- write footnotes and close file
550 # --- Include file handling ---
553 file = args
554 file = os.path.join(self.includedir, file)
556 fp = open(file, 'r')
558 print('*** Can\'t open include file', repr(file))
561 print('!'*self.debugging, '--> file', repr(file))
571 print('!'*self.debugging, '<-- file', repr(file))
697 self.write('See info file ')
704 file = args[2]
705 self.write('`', file, '\', node `', node, '\'')
713 file = args[3]
716 if file:
717 href = '../' + file + '/' + href
993 # --- Beginning a file ---
1005 # --- Ending a file ---
1051 file = self.dirname + '/' + makefile(name)
1052 if file in self.filenames:
1053 print('*** Filename already in use: ', file)
1055 if self.debugging: print('!'*self.debugging, '--- writing', file)
1056 self.filenames[file] = 1
1057 # self.nodefp = open(file, 'w')
1066 self.htmlhelp.addnode(self.nodename,next,prev,up,file)
1684 file names, menu items, index items, and image file names are
1688 `helpbase`.hhp is a HTML Help Workshop project file.
1693 `helpbase`.hhc is the Contents file for the project.
1694 `helpbase`.hhk is the Index file for the project.
1697 the resulting file will be named:
1702 the .CHM file will have Contents, Index, Search, and
1726 # add this file to dict
1766 # get the default topic file
1773 print('[OPTIONS]', file=fp)
1774 print('Auto Index=Yes', file=fp)
1775 print('Binary TOC=No', file=fp)
1776 print('Binary Index=Yes', file=fp)
1777 print('Compatibility=1.1', file=fp)
1778 print('Compiled file=' + resultfile + '', file=fp)
1779 print('Contents file=' + contentfile + '', file=fp)
1780 print('Default topic=' + defaulttopic + '', file=fp)
1781 print('Error log file=ErrorLog.log', file=fp)
1782 print('Index file=' + indexfile + '', file=fp)
1783 print('Title=' + title + '', file=fp)
1784 print('Display compile progress=Yes', file=fp)
1785 print('Full-text search=Yes', file=fp)
1786 print('Default window=main', file=fp)
1787 print('', file=fp)
1788 print('[WINDOWS]', file=fp)
1791 '0xB0000,,,,,,0', file=fp)
1792 print('', file=fp)
1793 print('[FILES]', file=fp)
1794 print('', file=fp)
1803 print('<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">', file=fp)
1804 print('<!-- This file defines the table of contents -->', file=fp)
1805 print('<HTML>', file=fp)
1806 print('<HEAD>', file=fp)
1808 'content="Microsoft® HTML Help Workshop 4.1">', file=fp)
1809 print('<!-- Sitemap 1.0 -->', file=fp)
1810 print('</HEAD>', file=fp)
1811 print('<BODY>', file=fp)
1812 print(' <OBJECT type="text/site properties">', file=fp)
1813 print(' <param name="Window Styles" value="0x800025">', file=fp)
1814 print(' <param name="comment" value="title:">', file=fp)
1815 print(' <param name="comment" value="base:">', file=fp)
1816 print(' </OBJECT>', file=fp)
1818 print('</BODY>', file=fp)
1819 print('</HTML>', file=fp)
1827 print('<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">', file=fp)
1828 print('<!-- This file defines the index -->', file=fp)
1829 print('<HTML>', file=fp)
1830 print('<HEAD>', file=fp)
1832 'content="Microsoft® HTML Help Workshop 4.1">', file=fp)
1833 print('<!-- Sitemap 1.0 -->', file=fp)
1834 print('</HEAD>', file=fp)
1835 print('<BODY>', file=fp)
1836 print('<OBJECT type="text/site properties">', file=fp)
1837 print('</OBJECT>', file=fp)
1839 print('</BODY>', file=fp)
1840 print('</HTML>', file=fp)
1848 print(filename, file=outfile)
1856 print('<UL>', file=outfile)
1859 print('</UL>', file=outfile)
1873 print(' '*indent, end=' ', file=outfile)
1874 print('<LI><OBJECT type="text/sitemap">', end=' ', file=outfile)
1875 print('<param name="Name" value="' + nodename +'">', end=' ', file=outfile)
1876 print('<param name="Local" value="'+ filename +'">', end=' ', file=outfile)
1877 print('</OBJECT>', file=outfile)
1890 print(' '*indent + '<UL>', file=outfile)
1896 print(' '*indent + '</UL>', file=outfile)
1910 print('<UL>', file=outfile)
1915 print('<LI><OBJECT type="text/sitemap">', end=' ', file=outfile)
1916 print('<param name="Name" value="' + key + '">', end=' ', file=outfile)
1917 print('<param name="Local" value="' + location + '">', end=' ', file=outfile)
1918 print('</OBJECT>', file=outfile)
1919 print('</UL>', file=outfile)
1968 # Convert a node name into a file name
2049 file = sys.argv[1]
2052 parser.setincludedir(os.path.dirname(file))
2058 fp = open(file, 'r')
2060 print(file, ':', msg)