diff options
Diffstat (limited to 'etc/Makefile.config')
| -rw-r--r-- | etc/Makefile.config | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/etc/Makefile.config b/etc/Makefile.config deleted file mode 100644 index 3ee672a..0000000 --- a/etc/Makefile.config +++ /dev/null @@ -1,9 +0,0 @@ -## Skribe (1.2d) configure -## Don't edit, file generated by etc/bigloo/configure -SKRIBERELEASE=1.2d -SKRIBEBETARELEASE=1.2d-beta.2 - -SYSTEM=bigloo -SKRIBE=$(BINDIR)/skribe.bigloo -SKRIBEINFO=$(BINDIR)/skribeinfo.bigloo -SKRIBEBIBTEX=$(BINDIR)/skribebibtex.bigloo |