diff options
Diffstat (limited to 'Build/cdbuild')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 55c109f41ec..e2f348304aa 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -683,6 +683,7 @@ $standarddocfmt='latex'; 'localloc', 'localloc.dtx', 'makecell', 'makecell.dtx', 'minitoc', 'NULL', # takes forever, and files are pregenerated + 'namespc', 'namespc.dtx', 'paper', 'install.02', 'parrun', 'parrun.ins', 'stmaryrd', 'stmaryrd.dtx', |