fixed print_banner() and print_ln().

diff --git a/src/texsourc/dpx.h b/src/texsourc/dpx.h
index 7d2ad4b..b660be2 100644 (file)
--- a/src/texsourc/dpx.h
+++ b/src/texsourc/dpx.h
@@ -48,5 +48,4 @@ typedef struct pdf_rect
 extern void pdf_dev_set_rect (pdf_rect *rect,\r
                   spt_t x_user, spt_t y_user,\r
                   spt_t width,  spt_t height, spt_t depth);\r
-extern void pdf_doc_expand_box (const pdf_rect *rect);\r
-extern void pdf_out_char(internal_font_number f, ASCII_code c);
\ No newline at end of file
+extern void pdf_doc_expand_box (const pdf_rect *rect);
\ No newline at end of file

diff --git a/src/texsourc/local.c b/src/texsourc/local.c
index 29116ba..8c89012 100644 (file)
--- a/src/texsourc/local.c
+++ b/src/texsourc/local.c
@@ -67,7 +67,7 @@ void print_banner (void)
 {\r
   char dist_ver[256];\r
   memset(dist_ver, 0, sizeof(dist_ver));\r
-  sprintf(dist_ver, "%s (%s %s/%s)", banner, application, yandyversion, dist);\r
+  sprintf(dist_ver, "%s (%s %s)", banner, application, yandyversion);\r
   prints(dist_ver);\r
 }\r
 \r
@@ -159,8 +159,8 @@ void stamp_it (char * s)
 \r
   strcpy(date, compiledate);\r
   scivilize(date);\r
-  sprintf(s, "%s %s (compiled time: %s %s with %s)",\r
-    application, yandyversion, date, compiletime, compiler);\r
+  sprintf(s, "%s %s (compiled time: %s %s with %s/%s)",\r
+    application, yandyversion, date, compiletime, dist, compiler);\r
   s += strlen(s);\r
 }\r
 \r