From 76ad95fb4c5312ce937a21ca68c20a737c5e61a9 Mon Sep 17 00:00:00 2001 From: Jesusaves Date: Wed, 8 May 2019 09:43:47 -0300 Subject: Remove make contrib - move it to tools Makefile --- Makefile | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index c6b8c795..583e74f8 100644 --- a/Makefile +++ b/Makefile @@ -7,22 +7,10 @@ XSLTPROC = xsltproc all: @echo "Normal: build pipeline" - @echo "Standard: contrib about-server wiki check-png testxml license icc" + @echo "Standalone: check-png testxml license icc" @echo "Groups: build check pipeline" -contrib: about-server wiki - -contributors: contrib - -about-server: - @$(XSLTPROC) -o help/about-server.txt ../tools/contrib_xsl/about-server.xsl ../tools/contrib_xsl/contributors.xml - @echo "The file about-server.txt was created successfully." - -wiki: - @$(XSLTPROC) ../tools/contrib_xsl/wiki.xsl ../tools/contrib_xsl/contributors.xml > ../wiki/Contributors.md - @echo "Wiki generated" - check: check-xml check-png testxml PNGS = $(shell find . -type f -name "*.png") -- cgit v1.2.3-60-g2f50