aboutsummaryrefslogtreecommitdiff
path: root/skribe/etc/Makefile
diff options
context:
space:
mode:
authorLudovic Courtes2005-10-31 16:03:18 +0000
committerLudovic Courtes2005-10-31 16:03:18 +0000
commite9509518623d016880392237a298d4561a3b6a0b (patch)
tree9de28d4985d0c1f8b040900ce23714de8531e46f /skribe/etc/Makefile
parent409e8a99bf90ddb8e5d40c6dd8559ad1d97b925f (diff)
downloadskribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.gz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.tar.lz
skribilo-e9509518623d016880392237a298d4561a3b6a0b.zip
Removed useless files, integrated packages.
* src/guile/skribilo/packages: New directory and files. * bin: Removed. * skr: Removed (files moved to `src/guile/skribilo/packages'). * skribe: Removed. * doc/skr/env.skr (*courtes-mail*): New. * doc/user/user.skb: Removed postal addresses, added my name. * src/guile/skribilo/engine/lout.scm: Uncommented the slide-related markup writers. * src/guile/skribilo/evaluator.scm (%evaluate): Try weird things with source properties. * src/guile/skribilo/reader/skribe.scm: Comply with the new guile-reader API. * src/guile/skribilo/types.scm: Removed the special `initialize' method for ASTs which was supposed to set their location. git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-7
Diffstat (limited to 'skribe/etc/Makefile')
-rw-r--r--skribe/etc/Makefile50
1 files changed, 0 insertions, 50 deletions
diff --git a/skribe/etc/Makefile b/skribe/etc/Makefile
deleted file mode 100644
index 349fcf8..0000000
--- a/skribe/etc/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#*=====================================================================*/
-#* serrano/prgm/project/skribe/etc/Makefile */
-#* ------------------------------------------------------------- */
-#* Author : Manuel Serrano */
-#* Creation : Sat Oct 25 08:29:30 2003 */
-#* Last change : Sat Jan 3 06:40:19 2004 (serrano) */
-#* Copyright : 2003-04 Manuel Serrano */
-#* ------------------------------------------------------------- */
-#* The Skribe Meta etc Makefile */
-#*=====================================================================*/
-include ../etc/Makefile.config
-include ../etc/$(SYSTEM)/Makefile.skb
-
-#*---------------------------------------------------------------------*/
-#* pop */
-#*---------------------------------------------------------------------*/
-.PHONY: pop
-
-pop:
- @ echo etc/Makefile etc/skribe-config.in etc/ChangeLog
- @ (cd bigloo && $(MAKE) pop)
- @ (cd stklos && $(MAKE) pop)
-
-#*---------------------------------------------------------------------*/
-#* Install/Uninstall */
-#*---------------------------------------------------------------------*/
-.PHONY: install uninstall
-
-install: $(DESTDIR)$(INSTALL_EXTDIR)
- cp skribe-config $(DESTDIR)$(INSTALL_BINDIR) && \
- chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
-
-uninstall:
- $(RM) -f $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
-
-$(DESTDIR)$(INSTALL_EXTDIR):
- mkdir -p $(DESTDIR)$(INSTALL_EXTDIR) && chmod a+rx $(DESTDIR)$(INSTALL_EXTDIR)
-
-
-#*---------------------------------------------------------------------*/
-#* clean/distclean */
-#*---------------------------------------------------------------------*/
-.PHONY: clean distclean
-
-clean:
- (cd $(SYSTEM) && $(MAKE) clean)
-
-distclean: clean
- (cd $(SYSTEM) && $(MAKE) distclean)
- $(RM) -f skribe-config config