aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorSergey Poznyakoff <gray@gnu.org>2020-12-09 12:30:52 +0200
committerSergey Poznyakoff <gray@gnu.org>2020-12-09 12:30:52 +0200
commit9d7397382a66464d281611aa35da765b1a28ca81 (patch)
tree459687a313f0f84ad66514beed37b2a94a5590e1 /doc/.gitignore
parent0a676ac900bd7f03a9a056d2b8be64b154f8647a (diff)
downloadpies-9d7397382a66464d281611aa35da765b1a28ca81.tar.gz
pies-9d7397382a66464d281611aa35da765b1a28ca81.tar.bz2
Rework generation of the web docs
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 94d867b..70f58bc 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -3,6 +3,7 @@ Makefile.in
pies.info*
stamp-vti
version.texi
+otherdoc.texi
pies.aux
pies.cp
pies.cps

Return to:

Send suggestions and report system problems to the System administrator.