projects / pgpool2.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ec5676f)
Add .gitignore to doc and doc.ja.
authorBo Peng <pengbo@sraoss.co.jp>
Mon, 20 Aug 2018 04:49:44 +0000 (13:49 +0900)
committerBo Peng <pengbo@sraoss.co.jp>
Mon, 20 Aug 2018 04:49:44 +0000 (13:49 +0900)
doc.ja/src/sgml/.gitignore [new file with mode: 0644] patch | blob
doc/src/sgml/.gitignore [new file with mode: 0644] patch | blob

diff --git a/doc.ja/src/sgml/.gitignore b/doc.ja/src/sgml/.gitignore
new file mode 100644 (file)
index 0000000..f86d0e8
--- /dev/null
+++ b/doc.ja/src/sgml/.gitignore
@@ -0,0 +1,7 @@
+HTML.index
+bookindex.sgml
+html/
+man-stamp
+man1/
+man3/
+pgpool.xml
diff --git a/doc/src/sgml/.gitignore b/doc/src/sgml/.gitignore
new file mode 100644 (file)
index 0000000..f86d0e8
--- /dev/null
+++ b/doc/src/sgml/.gitignore
@@ -0,0 +1,7 @@
+HTML.index
+bookindex.sgml
+html/
+man-stamp
+man1/
+man3/
+pgpool.xml
Clustering tool for PostgreSQL