diff options
Diffstat (limited to 'Build/cdbuild/LastMinute')
-rw-r--r-- | Build/cdbuild/LastMinute | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Build/cdbuild/LastMinute b/Build/cdbuild/LastMinute deleted file mode 100644 index b4ff850159e..00000000000 --- a/Build/cdbuild/LastMinute +++ /dev/null @@ -1,16 +0,0 @@ -jadetex -hyperref -psnfss -psfonts -latex2html -texinfo.tex -CMaCTeX -winedt -GhostScript -AUCTeX - -fixlinks -all of tldoc -systems.sizes and packages.sizes > install -lwc examples -g
\ No newline at end of file |