diff options
| author | Ludovic Courtès | 2008-01-22 17:27:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès | 2008-01-22 17:27:37 +0100 |
| commit | ffd3ed37343917e87d27acb38a377686e866d741 (patch) | |
| tree | 9015e7f525cace5f818050e2fa829875cb021e97 /doc/user/.gitignore | |
| parent | afc4870d9d13c217cfbbff2c68fa658fb3ef274e (diff) | |
| download | skribilo-ffd3ed37343917e87d27acb38a377686e866d741.tar.gz skribilo-ffd3ed37343917e87d27acb38a377686e866d741.tar.lz skribilo-ffd3ed37343917e87d27acb38a377686e866d741.zip | |
doc: Remove need to `doc-config.scm'.
* doc/user/Makefile.am (BUILT_SOURCES): Remove.
(skrflags): Define `%have-ploticus?' and `%ploticus-path' using `-e'.
(doc-config.scm): Remove.
* doc/user/user.skb: Don't load `doc-config.scm'.
Diffstat (limited to 'doc/user/.gitignore')
0 files changed, 0 insertions, 0 deletions