diff options
| author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2002-10-27 22:30:02 +0000 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2002-10-27 22:30:02 +0000 |
| commit | 91f49db1debfa49382101f43e1b8c22006b3399c (patch) | |
| tree | 84803bb4ad74fd389304760a8899acbe340c8556 /doc/scripts | |
| parent | d0c65d357594f9d585c46550e6a341c28fec2fd8 (diff) | |
| download | gnutls-91f49db1debfa49382101f43e1b8c22006b3399c.tar.gz | |
*** empty log message ***
Diffstat (limited to 'doc/scripts')
| -rw-r--r-- | doc/scripts/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/scripts/Makefile.am b/doc/scripts/Makefile.am index 7deb104e22..cc887e7caa 100644 --- a/doc/scripts/Makefile.am +++ b/doc/scripts/Makefile.am @@ -1,3 +1,3 @@ -EXTRA_DIST = gdoc +EXTRA_DIST = gdoc sort1.pl |