From f665c697bdc6a791aecca9c6f989d0130856cee9 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Tue, 13 Nov 2018 23:28:48 +0100 Subject: [PATCH] doc/Makefile: use the correct column from languages.csv The synopsis flag is now in column 11 --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 90133f78..f766adca 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,7 +16,7 @@ synopsis: synopsis.html S=../src # List of languages extracted from languages.csv, with 'Synopsis' column == y -LANGS=$(shell cat ../languages.csv | cut -d',' -f1,10 | grep ',y' | cut -d',' -f1) +LANGS=$(shell cat ../languages.csv | cut -d',' -f1,11 | grep ',y' | cut -d',' -f1) # This list was constructed by observing what files MkSynopsis.hs reads SRC_FILES=$(S)/abstract/Common.gf $(S)/abstract/Cat.gf $(S)/api/Constructors.gf $(S)/abstract/Structural.gf $(patsubst %,$S/*/Paradigms%.gf,$(LANGS))