annotate .hgignore @ 1130:67d875c8ac71

Using libtool to build and install liburweb*
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 Jan 2010 09:04:55 -0500
parents bed675db3aff
children d4cd54a4ea06
rev   line source
adamc@0 1 syntax: glob
adamc@0 2
adamc@0 3 *~
adamc@0 4 .cm
adamc@0 5 src/.cm
adamc@0 6
adamc@0 7 bin/*
adamc@0 8
adamc@244 9 src/urweb.cm
adamc@244 10 src/urweb.mlb
adamc@1 11
adamc@1 12 *.lex.*
adamc@1 13 *.grm.*
adamc@102 14 *.o
adamc@1130 15 *.lo
adamc@1130 16 *.la
adamc@1130 17 *.a
adamc@1130 18 *.so
adamc@1095 19 *.so.*
adamc@1130 20 *.lai
adamc@378 21
adamc@378 22 src/config.sml
adamc@378 23
adamc@378 24 *.exe
adamc@378 25
adamc@378 26 *.cache
adamc@378 27 *.log
adamc@378 28 *.status
adamc@380 29
adamc@380 30 demo/out/*.html
adamc@384 31 demo/demo.*
adamc@424 32
adamc@915 33 demo/more/out/*.html
adamc@915 34 demo/more/demo.*
adamc@915 35
adamc@424 36 *.sql
adamc@507 37 *mlmon.out
adamc@524 38
adamc@524 39 *.aux
adamc@524 40 *.dvi
adamc@524 41 *.pdf
adamc@524 42 *.ps
adamc@540 43 *.toc
adamc@615 44
adamc@615 45 .depend
adamc@615 46 Makefile.coq
adamc@615 47 *.vo
adamc@764 48
adamc@764 49 syntax: regexp
adamc@764 50
adamc@764 51 ^Makefile
adamc@764 52 ^src/coq/Makefile