Skip to content

Commit 671a712

Browse files
committed
Move old docbook documentation to docbook/ folder
1 parent 6af2a2b commit 671a712

File tree

10 files changed

+8
-9
lines changed

10 files changed

+8
-9
lines changed

.gitignore

Lines changed: 8 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -7,15 +7,14 @@
77
/data/
88
/dist
99
/dist-newstyle
10-
/doc/alex.1
11-
/doc/alex.pdf
12-
/doc/alex/*.html
13-
/doc/alex/fptools.css
14-
/doc/autom4te.cache/
15-
/doc/configure
16-
/doc/config.log
17-
/doc/config.mk
18-
/doc/config.status
10+
/docbook/alex.1
11+
/docbook/alex.pdf
12+
/docbook/alex/
13+
/docbook/autom4te.cache/
14+
/docbook/configure
15+
/docbook/config.log
16+
/docbook/config.mk
17+
/docbook/config.status
1918
/examples/*.alex.hs
2019
/examples/*.happy.hs
2120
/examples/*.bin
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)