Tcl Library Source Code

Check-in [bced18e56d]
Login
Bounty program for improvements to Tcl and certain Tcl packages.
Tcl 2019 Conference, Houston/TX, US, Nov 4-8
Send your abstracts to [email protected]
or submit via the online form by Sep 9.

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fixed comment typo
Timelines: family | ancestors | descendants | both | doc-fixup-and-markdown
Files: files | file ages | folders
SHA3-256: bced18e56d79c730172e0a345a796c4500dec3d150dc510777ce7993ac8c8470
User & Date: aku 2019-03-19 03:39:48
Context
2019-03-19
03:41
Better MD comment support. check-in: 10268352a5 user: aku tags: doc-fixup-and-markdown
03:39
Fixed comment typo check-in: bced18e56d user: aku tags: doc-fixup-and-markdown
2019-03-18
19:57
Continued generation of markdown: doctoc. check-in: 61b61eed41 user: aku tags: doc-fixup-and-markdown
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to modules/dtplite/dtplite.tcl.

84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
#	a global documentation tree of all installed packages.
#
# Additional features.
#
# *	As described above the format name is used as the extension
#	for the generated files. Does it make sense to introduce an
#	option with which we can overide this, or should we simply
#	extect that a calling script does a proper renaming of all the
#	files ?  ... The option is better. In HTML output we have
#	links between the files, and renaming from the outside just
#	breaks the links. This option is '-ext'. It is ignored if the
#	output is a single file (fully specified via -o), or stdout.
#
#	-ext extension
#






|







84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
#	a global documentation tree of all installed packages.
#
# Additional features.
#
# *	As described above the format name is used as the extension
#	for the generated files. Does it make sense to introduce an
#	option with which we can overide this, or should we simply
#	expect that a calling script does a proper renaming of all the
#	files ?  ... The option is better. In HTML output we have
#	links between the files, and renaming from the outside just
#	breaks the links. This option is '-ext'. It is ignored if the
#	output is a single file (fully specified via -o), or stdout.
#
#	-ext extension
#