diff options
| -rw-r--r-- | rpkid/Makefile | 2 | ||||
| -rw-r--r-- | rpkid/doc/Operation | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/Makefile b/rpkid/Makefile index d20d2c40..8fd685e2 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -73,7 +73,7 @@ doc/rpkid.dot: rpkid.sql .dot.png: dot -o $@ -Tpng $? -TEXT_DOCS = Installation Configuration Operation Left-right Publication +TEXT_DOCS = Installation Configuration Left-right Publication dot: doc/irdbd.dot doc/pubd.dot doc/rpkid.dot diff --git a/rpkid/doc/Operation b/rpkid/doc/Operation deleted file mode 100644 index e69de29b..00000000 --- a/rpkid/doc/Operation +++ /dev/null |