about summary refs log tree commit diff
path: root/skribe/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/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/Makefile')
-rw-r--r--skribe/Makefile131
1 files changed, 0 insertions, 131 deletions
diff --git a/skribe/Makefile b/skribe/Makefile
deleted file mode 100644
index 918e91a..0000000
--- a/skribe/Makefile
+++ /dev/null
@@ -1,131 +0,0 @@
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/Makefile                             */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Wed Jul 30 16:23:07 2003                          */
-#*    Last change :  Fri May 21 16:37:53 2004 (serrano)                */
-#*    Copyright   :  2003-04 Manuel Serrano                            */
-#*    -------------------------------------------------------------    */
-#*    The general Skribe makefile                                      */
-#*=====================================================================*/
-include etc/Makefile.config
-
-#*---------------------------------------------------------------------*/
-#*    DIRECTORIES                                                      */
-#*---------------------------------------------------------------------*/
-DIRECTORIES	= skr \
-		  doc \
-		  examples \
-		  src \
-		  emacs \
-		  etc \
-		  tools
-
-POPULATIONDIRS	= $(DIRECTORIES) \
-                  contribs
-
-#*---------------------------------------------------------------------*/
-#*    all                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: all
-
-all:
-	(cd src/$(SYSTEM) && $(MAKE))
-	(cd tools && $(MAKE))
-	(cd doc && $(MAKE))
-
-#*---------------------------------------------------------------------*/
-#*    install                                                          */
-#*---------------------------------------------------------------------*/
-.PHONY: install uninstall
-
-install:
-	for d in $(DIRECTORIES); do \
-           (cd $$d && $(MAKE) install) || exit -1; \
-        done
-
-uninstall:
-	for d in $(DIRECTORIES); do \
-           (cd $$d && $(MAKE) uninstall) || exit -1; \
-        done
-
-#*---------------------------------------------------------------------*/
-#*    revision                                                         */
-#*---------------------------------------------------------------------*/
-.PHONY: revision populate skribe.prj
-
-revision: populate checkin
-
-populate: skribe.prj
-	prcs populate skribe `$(MAKE) pop`
-
-checkin:
-	prcs checkin -r$(SKRIBERELEASE).@ skribe
-
-checkout:
-	@ prcs checkout -r$(SKRIBERELEASE).@ skribe
-
-skribe.prj:
-	@ cat skribe.prj | sed -e s,"(Populate-Ignore ())","(Populate-Ignore (\"\\\\\\\\\\.o\\$$\" \"\\\\\\\\\\~$$\" \"\\\\\\\\\\.log\\$$\" \"\\\\\\\\\\.ps\\$$\" \"\\\\\\\\\\.aux\\$$\" \"\\\\\\\\\\.date_of_backup\\$$\" \"\\\\\\\\\\.so\\$$\" \"\\\\\\\\\\.a\\$$\" \"if_not_there\\$$\" \"if_mach\\$$\" \"threadlibs\\$$\"))", > skribe.dprj; $(RM) -f skribe.prj; mv skribe.dprj skribe.prj
-
-#*---------------------------------------------------------------------*/
-#*    population                                                       */
-#*    -------------------------------------------------------------    */
-#*    The list of all files that have to be placed inside the          */
-#*    repository for revision.                                         */
-#*---------------------------------------------------------------------*/
-.PHONY: subpop popfilelist
-
-subpop:
-	@ for d in $(POPULATIONDIRS); do \
-             (cd $$d && $(MAKE) -s pop); \
-          done
-
-pop:
-	@ echo Makefile INSTALL LICENSE README README.java
-	@ echo configure
-	@ (for p in `$(MAKE) -s subpop`; do \
-            echo $$p; \
-           done) | sort
-
-#*---------------------------------------------------------------------*/
-#*    distrib                                                          */
-#*---------------------------------------------------------------------*/
-.PHONY: distrib distrib-jvm distrib-src
-
-distrib:
-	$(MAKE) distrib -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
-	(cd www && $(MAKE))
-
-distrib-jvm:
-	$(MAKE) distrib-jvm -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
-
-distrib-src:
-	$(MAKE) distrib-src -f etc/$(SYSTEM)/Makefile -I etc/$(SYSTEM)
-
-#*---------------------------------------------------------------------*/
-#*    clean/distclean                                                  */
-#*---------------------------------------------------------------------*/
-.PHONY: clean distclean
-	$(RM) -f etc/Makefile.config
-
-clean:
-	(cd src && $(MAKE) clean)
-	(cd doc && $(MAKE) clean)
-	(cd tools && $(MAKE) clean)
-	(cd etc && $(MAKE) clean)
-
-distclean: clean
-	(cd emacs && $(MAKE) distclean)
-	(cd etc && $(MAKE) distclean)
-
-#*---------------------------------------------------------------------*/
-#*    devclean/devdistclean                                            */
-#*---------------------------------------------------------------------*/
-.PHONY: devclean devdistclean
-
-devclean: clean
-	(cd www && $(MAKE) clean)
-
-devdistclean: devclean distclean
-