diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-25 02:26:12 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-25 02:26:12 -0800 |
commit | 82b46badba16f7b40891e7d5e45bb3da828b6203 (patch) | |
tree | 0c9ecbd9b5443d7af7e7d2b3db3a5101b88c38cd /src/hyper/ex2ht.c | |
parent | 0093f04cb53e58151ad3bdfbff328d564ff17caf (diff) | |
download | open-axiom-82b46badba16f7b40891e7d5e45bb3da828b6203.tar.gz |
Remove various crufts.
Diffstat (limited to 'src/hyper/ex2ht.c')
-rw-r--r-- | src/hyper/ex2ht.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/hyper/ex2ht.c b/src/hyper/ex2ht.c index 3637776a..64a55a2e 100644 --- a/src/hyper/ex2ht.c +++ b/src/hyper/ex2ht.c @@ -87,7 +87,7 @@ emitCoverLink(const char* name, char *title) } static void -closeCoverFile(void) +closeCoverFile() { fclose(coverFile); #ifndef __WIN32__ /* FIXME! */ @@ -96,14 +96,14 @@ closeCoverFile(void) } static void -closeCoverPage(void) +closeCoverPage() { fprintf(coverFile, "}\\endscroll\\end{page}\n\n"); } /* cover page functions */ static void -openCoverPage(void) +openCoverPage() { coverFile = fopen("coverex.ht", "w"); if (coverFile == NULL) { |